diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2019-02-03 12:19:33 +0100 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2019-02-03 12:19:33 +0100 |
| commit | 5838046c4cd6e57a9e82c92fdac4aebbbbbebe97 (patch) | |
| tree | f4095cf331d8ed3bf2cfb4b1a5e0f873c405f945 | |
| parent | 58e98cc43952385dd165885d04eb2260f3ddc38e (diff) | |
| download | eumel-tools-5838046c4cd6e57a9e82c92fdac4aebbbbbebe97.tar.gz eumel-tools-5838046c4cd6e57a9e82c92fdac4aebbbbbebe97.tar.bz2 eumel-tools-5838046c4cd6e57a9e82c92fdac4aebbbbbebe97.zip | |
Preserve file dataspace mtime
| -rwxr-xr-x | extractAll.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extractAll.sh b/extractAll.sh index 8b8649f..4aab128 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" || rm "${G}.txt" + $root/convertFileDs.py "$G" > "${G}.txt" && touch -r "${G}" "${G}.txt" || rm "${G}.txt" done popd rm "$linear" |