summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2019-02-03 14:48:32 +0100
committerLars-Dominik Braun <lars@6xq.net>2019-02-03 14:48:32 +0100
commit2a23641eac52258b46b4a28f8d73dc70b6e50a30 (patch)
tree2eb2d60cbd2417716a5ebc09a9f74ea3cdc0c116
parent5838046c4cd6e57a9e82c92fdac4aebbbbbebe97 (diff)
downloadeumel-tools-2a23641eac52258b46b4a28f8d73dc70b6e50a30.tar.gz
eumel-tools-2a23641eac52258b46b4a28f8d73dc70b6e50a30.tar.bz2
eumel-tools-2a23641eac52258b46b4a28f8d73dc70b6e50a30.zip
extractAll: Delete source DS if conversion was successful
-rwxr-xr-xextractAll.sh2
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"