[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