This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2022-02-15
Channels
- # announcements (8)
- # architecture (9)
- # autochrome-github (1)
- # babashka (48)
- # beginners (55)
- # calva (36)
- # cider (16)
- # clj-commons (1)
- # clj-kondo (38)
- # cljs-dev (44)
- # cljsrn (1)
- # clojure (164)
- # clojure-europe (35)
- # clojure-nl (2)
- # clojure-norway (10)
- # clojure-uk (23)
- # clojurescript (50)
- # conjure (24)
- # core-async (1)
- # cryogen (2)
- # cursive (38)
- # datalevin (11)
- # datascript (2)
- # datomic (13)
- # duct (1)
- # emacs (16)
- # events (12)
- # exercism (3)
- # figwheel-main (7)
- # fulcro (26)
- # honeysql (5)
- # integrant (1)
- # jobs (3)
- # kaocha (6)
- # lsp (72)
- # malli (22)
- # nextjournal (35)
- # nrepl (1)
- # off-topic (34)
- # pathom (5)
- # polylith (8)
- # portal (40)
- # re-frame (14)
- # reagent (42)
- # reitit (1)
- # releases (1)
- # remote-jobs (1)
- # reveal (9)
- # sci (2)
- # shadow-cljs (13)
- # sql (3)
- # tools-deps (33)
- # vim (25)
Anyone seen github do this ? You can't even have 2 folders on windows with the same name (even with different case, so this situation could never have arisen)
you can get weird things like that when using repos on different filesystems that have different rules about that sort of thing
if the underlying filesystem is reporting the same directory for both cases, git can't tell the difference either
so is it likely if this was pulled on linux, there would indeed be 2 folders with the different case ?
If you need to use files with names in different cases, I'm pretty sure you should stick to a case-sensitive file system. NTFS, the default Windows file system, is not case sensitive by default but apparently you can put flags on separate directories. I would probably create a separate partition with a case-sensitive file system.
How do I fix this if I'm on windows, I want git to have it all in the same folder with the proper casing
that might do it, deleting the folder might show up as both folders being deleted in git
Or, figure out how to use that case-sensitive flag, enable it on all dirs within that local copy of the repo, do git status
, and then git reset --hard
.
there is surgery you could do on the repo using the git cli and manually creating tree objects and commits
OK, deleting removed both, and then readding got me back to one with the correct case. Bizzare, I've never dev'd on this repo (only created today) on anything other than my windows laptop. Dunno how this happened.
Unless maybe I had wrong case, checked it in, changed case and checked in again later and its picked up changes with a different folder name
make it lowercase one place, uppercase somewhere else, on a case insensitive filesystem they look like the same folder, but once you move to a sensitive one you get both
"preserve case but are case insensitive" is such a terrible description, but they remember what case you used when creating a file and use that case when listing, etc, but will direct any file operations with a different case to the same file
this type of thing has been a pain with tools-build coming from depstar. Jars are case sensitive but macosx is not. depstart would copy directly from the jar into the new jar. tools-build will explod all of the jars onto the (case-insensitive) osx filesystem. so things like LICENSE
and license/mit.txt
could not coexist
it bit a lot of people years ago when osx popularity really took off with devs that ended up deploying on linux servers
Wouldn't WSL2 still run on the same NTFS? Or do they format separate partitions?
It's a separate vfs.
On my Windows laptop, using WSL2:
seanc@Sean-win-11-laptop:~$ mkdir example
seanc@Sean-win-11-laptop:~$ cd example/
seanc@Sean-win-11-laptop:~/example$ touch foo
seanc@Sean-win-11-laptop:~/example$ touch Foo
seanc@Sean-win-11-laptop:~/example$ touch FOO
seanc@Sean-win-11-laptop:~/example$ ls
FOO Foo foo