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
|
#!/usr/bin/env bash
set -ev
rm -rf temp1 temp2
if grep old-fashioned .darcs/defaults; then
format=old-fashioned-inventory
elif grep darcs-2 .darcs/defaults; then
format=darcs-2
else format=hashed; fi
mkdir temp2
cd temp2
gunzip -c ../repos/many-files--${format}.tgz | tar xf -
cd ..
mkdir temp1
cd temp1
darcs init
darcs pull -a ../temp2/many-files--${format} > log
grep -i 'finished pulling' log
cd ..
rm -rf temp1
# put things back how we found them.
rm -rf temp1 temp2
|
