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
37
38
39
40
41
42
43
44
45
46
47
|
#!/usr/bin/env bash
# run darcs dist, then extract the resulting archive
# and compare it to the original repository content
. lib
rm -rf temp1
mkdir temp1
cd temp1
darcs init
for (( i=0 ; i < 5; i=i+1 )); do
echo $i >> file-$i;
mkdir dir-$i;
echo $i >> dir-$i/file-$i;
darcs add file-$i;
darcs add dir-$i/file-$i
done
darcs record -a -m add_foo | grep -i "finished recording"
darcs dist
darcs dist --zip
mv temp1.tar.gz ..
mv temp1.zip ..
cd ..
rm -rf temp1/_darcs
mv temp1 temp_orig
tar xzf temp1.tar.gz
diff -r temp_orig temp1
rm -rf temp1
# Only do following if unzip is present
unzip >& /dev/null &&
(
unzip temp1.zip
diff -r temp_orig temp1
rm -rf temp1
)
rm -rf temp_orig
|
