diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2019-02-03 14:48:32 +0100 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2019-02-03 14:48:32 +0100 |
| commit | 2a23641eac52258b46b4a28f8d73dc70b6e50a30 (patch) | |
| tree | 2eb2d60cbd2417716a5ebc09a9f74ea3cdc0c116 | |
| parent | 5838046c4cd6e57a9e82c92fdac4aebbbbbebe97 (diff) | |
| download | eumel-tools-2a23641eac52258b46b4a28f8d73dc70b6e50a30.tar.gz eumel-tools-2a23641eac52258b46b4a28f8d73dc70b6e50a30.tar.bz2 eumel-tools-2a23641eac52258b46b4a28f8d73dc70b6e50a30.zip | |
extractAll: Delete source DS if conversion was successful
| -rwxr-xr-x | extractAll.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extractAll.sh b/extractAll.sh index 4aab128..5870e1f 100755 --- a/extractAll.sh +++ b/extractAll.sh @@ -13,7 +13,7 @@ while read -r F; do pushd "$destdir" || continue for G in ./*; do echo "Converting $G to ${G}.txt" - $root/convertFileDs.py "$G" > "${G}.txt" && touch -r "${G}" "${G}.txt" || rm "${G}.txt" + $root/convertFileDs.py "$G" > "${G}.txt" && touch -r "${G}" "${G}.txt" && rm "${G}" || rm "${G}.txt" done popd rm "$linear" |