-
-
Notifications
You must be signed in to change notification settings - Fork 251
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
dev .. : Relative directory failing under Windows when having cd'ed with incorrect case #3892
Comments
Does |
It is explicitly checking case sensitively in Pkg.jl/src/REPLMode/argument_parsers.jl Line 146 in c26ad23
Not sure if it should |
No, same error:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I have a minor issue when trying to
dev
a relative directory in REPL package mode.My package has uppercase letters, say
MyPackage
, but I have moved there using the shell environment, having used a lower case letter by mistake:which works.
pwd()
gives the global path withmypackage
in lower case letters, so the mistake is not "corrected".If I activate the environment there (still works) and try to
dev
the parent folder, I getFunnily,
FileSystem
does not have any issues:works as expected.
Also, this is not a
Pkg.jl
bug sinceworks as well.
My
versioninfo()
output is:The text was updated successfully, but these errors were encountered: