4 rm -rf temp1 temp2 temp3
11 echo hello world
> foo
/bar
13 darcs record
-a -m add
16 # get temp1 into temp2
19 echo hello world
> foo
/baz
22 # remove a directory from temp1 and record
25 darcs record
-a -m del
33 darcs show files
--no-pending --no-dir >> files
35 darcs show files
--no-pending --no-fil >> dirs
39 darcs pull
-a --repodir=temp2
> pullresult
41 grep 'Warning: .ot deleting' pullresult
43 # get temp1 into temp3
46 darcs obliterate
--last 1 -a
47 echo hello world
> foo
/baz
50 # remove a directory from temp1 and record
53 darcs record
-a -m del
61 darcs show files
--no-pending --no-dir >> files
63 darcs show files
--no-pending --no-fil >> dirs
67 darcs pull
-q -a --repodir=temp3
> pullresult
71 rm -rf temp1 temp2 temp3