[darcs-devel] [issue1012] unrecord/record file remove bug

Simon Marlow bugs at darcs.net
Mon Aug 18 09:30:48 UTC 2008


New submission from Simon Marlow <simonmar at microsoft.com>:

This script demonstrates the bug:

----------------------
#!/bin/sh
set -v
rm -rf test
mkdir test
cd test
darcs2 --version
darcs2 init
echo test >File.hs
darcs2 add File.hs
darcs2 record File.hs -a -m "add File"
rm File.hs
darcs2 record -a -m "rm File"
darcs2 cha
darcs2 unrecord -p "rm File" -a
darcs2 cha
darcs2 record -a -m "re-rm File"
----------------------

Here's the output:

rm -rf test
mkdir test
cd test
darcs2 --version
2.0.2 (+ 70 patches)
darcs2 init
echo test >File.hs
darcs2 add File.hs
darcs2 record File.hs -a -m "add File"
Recording changes in "File.hs":

Finished recording patch 'add File'
rm File.hs
darcs2 record -a -m "rm File"
Finished recording patch 'rm File'
darcs2 cha
Mon Aug 18 10:26:59 BST 2008  Simon Marlow <marlowsd at gmail.com>
  * rm File

    R ./File.hs

Mon Aug 18 10:26:59 BST 2008  Simon Marlow <marlowsd at gmail.com>
  * add File

    A ./File.hs
darcs2 unrecord -p "rm File" -a
Finished unrecording.
darcs2 cha
Mon Aug 18 10:26:59 BST 2008  Simon Marlow <marlowsd at gmail.com>
  * add File

    A ./File.hs
darcs2 record -a -m "re-rm File"

darcs failed:  Cannot remove non-empty file ./File.hs
Your repository is now in an inconsistent state.
This must be fixed by running darcs repair.

Failed to record patch 're-rm File'

----------
messages: 5574
nosy: beschmi, dagit, simonmar
status: unread
title: unrecord/record file remove bug

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1012>
__________________________________


More information about the darcs-devel mailing list