Skip to content
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

Merged
merged 14 commits into from
May 20, 2019

Conversation

infominer33
Copy link
Contributor

@infominer33 infominer33 commented May 18, 2019

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 - (space dash space) for - then I swapped for - 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.

@shannona
Copy link
Collaborator

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.)

@shannona shannona merged commit 5da0d10 into WebOfTrustInfo:master May 20, 2019
@infominer33
Copy link
Contributor Author

infominer33 commented May 20, 2019

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 :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants