git/list[1] front-page[2] threads[3] people[4] search[5] about
 

contrib/mw-to-git/Git/Mediawiki.pm

From
Torsten Bögershausen <tboegi@web.de>
Date
Jun 27, 2013, 16:00 UTC
Message-ID
<51CC6189.6030701@web.de>

I just discovered a major problem for Mac OS and Windows people:

In contrib/mw-to-git/ there is a file called "git". And there is a directory called "Git".

This does not work very well on case insensitive file systems. When the file "git" is created, we can not create a directory called "Git", as "Git" is mapped to "git". And vice versa.

Can we try to rename one of them ?

The other interesting thing is that git 1.8.3 didn't like the situation: After checking out the pu branch, git status says: deleted: contrib/mw-to-git/Git/Mediawiki.pm

So I could not change to another branch/commit... git stash didn't resolve the situation either.

The following saved my repo: git mv contrib/mw-to-git/git contrib/mw-to-git/git.exe git checkout contrib/mw-to-git/Git/Mediawiki.pm git checkout -b xxx_git_Git_conflict git commit -a -m xxx_git_Git_conflict

/Torsten
Next: Benoît Person
Message 1 of 7 in “contrib/mw-to-git/Git/Mediawiki.pm”
  1. Torsten BögershausenJun 27, 2013
  2. Benoît PersonJun 27, 2013
  3. Matthieu MoyJun 27, 2013
  4. Junio C HamanoJun 27, 2013
  5. Benoît PersonJun 27, 2013
  6. Junio C HamanoJun 27, 2013
  7. Junio C HamanoJun 27, 2013

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.