[darcs-users] renaming with case difference only

Alexy Khrabrov deliverable at gmail.com
Sat Dec 22 04:36:12 UTC 2007


So in order to be able to move the repo to a case-insensitive file  
system, I'm trying to rename a file differing only in case while still  
on a case-sensitive volume.  The file surely exists:

Atticus:bru alexyk$ ls -l $PWD/ngrams.py
-rwxr-xr-x@ 1 alexyk  staff  784 Nov 13 09:44 /Volumes/Sensitive/ct/ 
bru/ngrams.py
Atticus:bru alexyk$ darcs changes ngrams.py | head -3
Changes to bru/ngrams.py:

Tue Nov 13 09:47:07 PST 2007  deliverable at gmail.com (Alexy Khrabrov)
Atticus:bru alexyk$ darcs mv ngrams.py rungrams.py

darcs failed:  There is no file or dir named bru/ngrams.py in the  
repository.

-- huh?

Cheers,
Alexy


More information about the darcs-users mailing list