-
Notifications
You must be signed in to change notification settings - Fork 88
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
remove spaces from filenames and add links #92
Conversation
Thanks for the cleanup. I will comment that the one place where we probably can't do this is the final-docs directory, as that's linked not just from our web pages, but also as citations. (I don't think there's any of that here, and hopefully we've been consistent with those file names.) |
good tip on the final docs.. but you are right, I've not had any probs w those directories. I'm so happy you merged this in! I wasn't sure how important it is to preserve... yesterdays typos as tomorrows cannon :) |
I've been removing spaces and special characters from filenames in these directories every time I fork this during some indexing experiments.
I hope everyone will agree that sane filenames make all our lives better.
I've also added links to papers that are in the repository, but weren't listed in the index.
While I'm here, may as well add README files for event\supporting\draft documents.
See Also
Also doing similar upkeep over here: rwot2-id2020/PR#29 and rwot3-sf/PR#37.
I'll keep updating this as the main PR as I do the same with the others.
Formalized?
If you have some guidelines or ideas to formalize filename styling I'm open.
For example... first I swapped
for
-
(space dash space) for-
then I swapped-
in all filenames.I'm also inclined to give any text file .md extension and H1 if they don't already have one.
These types of "standardizations" can make this work more accessible to researchers and future generations.