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 [EMAIL PROTECTED] (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 _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
