[darcs-devel] [darcs #491] Pulling a patch that removes a directory
fails if it's not empty
Lele Gaifax via RT
bugs at darcs.net
Tue Aug 16 15:49:22 PDT 2005
Tue Aug 16 18:49:20 2005: New ticket: 491.
Transaction: Ticket created by lele at nautilus.homeip.net
Queue: Darcs
Subject: Pulling a patch that removes a directory fails if it's not empty
Owner: Nobody
Requestors: lele at nautilus.homeip.net
Status: new
Ticket <URL: http://bugs.darcs.net/.//Ticket/Display.html?id=491 >
Transcript follows:
mkdir repo1
cd repo1
darcs init
mkdir dir
touch dir/file
darcs add --rec dir
darcs record -a -m "Initial"
Finished recording patch 'Initial'
cd ..
darcs get repo1 repo2
Copying patch 1 of 1...Copying patch 1 of 1... done!
Finished getting.
cd repo1
rm -rf dir
darcs record -a -m "Removed dir"
Finished recording patch 'Removed dir'
cd ..
cd repo2
touch dir/alien
darcs pull -a ../repo1
darcs failed: user error (Error applying patch to working dir:
./dir: removeDirectory: unsatisified constraints (Directory not empty))
This may have left your working directory an inconsistent
but recoverable state. If you had no un-recorded changes
by using 'darcs revert' you should be able to make your
working directory consistent again.
--
nickname: Lele Gaifax | Quando vivrò di quello che ho pensato ieri
real: Emanuele Gaifas | comincerò ad aver paura di chi mi copia.
email: lele at seldati.it | -- Fortunato Depero, 1929.
More information about the darcs-devel
mailing list