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
(Are you sure you want a non-URI- and non-shell-compatible character in your filenames?) #104
Comments
|
Thanks, @cabo . In our tests we tried bash, zsh, tcsh, and BSD sh. All of them worked. A leading '#' would break, however. |
Right, bash says:
My URI comment remains. |
Let's bring this back to the list. Servers would handle escaping (i.e. provide the escaping, or convert the requests) Might a makefile also have troubles ? Is this likely a big common problem ? More of a developer's problem. (i.e. we won't prioritize that as highly) use a non-single char ? @v3.0.1 (might assume the char after the @ is a date) Other characters to consider: my-module!3.2.3 <- bad in bash (tries command 3 in history) my-module@2008-01-02 <- fine for URLs (but escaped in shells) Conclusion: still prefer the #. It is the lesser of all the evils. |
Email sent to the list. Rob and I went back and forth. While encoding is not ideal, the same happens for '@' in certain cases (bash escape this for one and URLs may encode it as well). I didn't see any strong objections to '#'. While tooling will need to change to support the '#', tools not yet made the change would be confused by overloading '@'. |
Sent a final conclusion email to the list and did not get any further replies. Closing with decision that we will stick with '#'. |
This was raised by Carsten.
The text was updated successfully, but these errors were encountered: