6 if grep old-fashioned .darcs
/defaults
; then
7 format
=old-fashioned-inventory
8 elif grep darcs-2 .darcs
/defaults
; then
10 else format
=hashed
; fi
14 gunzip
-c ..
/repos
/many-files--
${format}.tgz |
tar xf
-
20 darcs pull
-a ..
/temp
2/many-files--
${format} > log
21 grep -i 'finished pulling' log
25 # put things back how we found them.