From: Paul Hänsch Date: Fri, 22 Sep 2023 09:28:48 +0000 (+0200) Subject: eliminate race condition in index time stamping X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=0befccc1274549229b77d50c1b8b24d6c4cf5403;p=shellwiki eliminate race condition in index time stamping --- diff --git a/parsers/40_indexer.sh b/parsers/40_indexer.sh index 3cfc72c..ec7be4a 100755 --- a/parsers/40_indexer.sh +++ b/parsers/40_indexer.sh @@ -25,7 +25,7 @@ fi exec 3>&1 -touch "$P/#index.flag" +touch -d "@$_DATE" "$P/#index.flag" mkdir -p "$I" { cat; printf \\n; } \