Case Issue with Pkg Manager

[tknopp]

Ok, this is a little bit hard to decribe.
I have hosted a (privat) package on Bitbucket. Lets call it TobisTestPackage. The issue is now that the generated url is lowercased on the Bitbucket repo. When I install it using Pkg.clone, the created folder in .julia is lower cased as well (tobistestpackage). On Windows and OSX this seems to make no problems.
However, on linux I was not able load the package but I had to rename the folder and make it uppercase. When updating, the lowercase version is created again...

Thoughts?

[tkelman]

Did you try 2-argument Pkg.clone(url, name) ? I have to do this on CI services (AppVeyor and others) that clone packages under slightly modified names.

[tknopp]

Ah, I was not aware of that version. Will try that when I have next access to the computer. But still, isn't this a case issue?

[tkelman]

Well, it's partially BitBucket's fault for not letting you set the casing the way you want it for default clones of the package. There was an issue on this recently, case sensitivity's kind of a tough and annoying issue and it's pretty hard to abstract over it. If every OS (and all websites) were case sensitive, or every OS were case insensitive, then we could at least do things consistently. As things are, it's much harder to arbitrarily pick a "right" behavior...

[tknopp]

Hm but shouldn't it be possible to fix the folder name when doing the checkout? In the src dir there is the file TobisTestPackage.jl with the right case. Just thinking if we can make this more robust.

[tkelman]

Ah, interesting thought. The file name under src/ might indeed be more reliable than the casing of the url or local folder name. Nothing is set in stone, of course.

[jakebolewski]

I think this is largely alleviated by #13542, please re-open if it is not.