diff options
| author | david <public@beloved.name> | 2018-07-04 01:42:16 +0200 |
|---|---|---|
| committer | david <public@beloved.name> | 2018-07-04 01:42:16 +0200 |
| commit | 9d7a608fbb21c38cd28f9b01d1f99c16735886fd (patch) | |
| tree | 23963c3bd529da8cb55c647c9fdeb3c305902b4f | |
| parent | 49145968147ca2e5938a21631ed449a6e383deee (diff) | |
fix the rm -rf command in doall.sh
| -rwxr-xr-x | doall.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ set -x x="$(readlink -f -- "$BASH_SOURCE")"; cd ${x%/*} # directory of this file -rm distfiles output *.log *.h5 -rf metadata.ftp-master.debian.org +rm -rf distfiles output *.log *.h5 metadata.ftp-master.debian.org mkdir distfiles wget -O - http://ftp.debian.org/debian/dists/stable/main/source/Sources.gz | gunzip >> distfiles/Sources |