[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