1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#!/usr/bin/env bash
. lib
rm -rf temp1
mkdir temp1
cd temp1
darcs init
echo hello world > foo
darcs add foo
darcs record -a -m 'addfoo'
darcs replace hello goodbye foo
darcs revert -a
not darcs whatsnew
darcs mv foo bar
echo hello my good friends >> bar
darcs unrevert -a
darcs whatsnew > unrecorded
cat unrecorded
grep 'bar .* hello goodbye' unrecorded
cat bar
grep 'goodbye world' bar
grep 'goodbye my good friends' bar
cd ..
rm -rf temp1
|
