]> git.plutz.net Git - shellwiki/commitdiff
eliminate race condition in index time stamping
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 09:28:48 +0000 (11:28 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 09:28:48 +0000 (11:28 +0200)
parsers/40_indexer.sh

index 3cfc72c36d4ee61107100b433007bd252d4a9317..ec7be4a7f4a6d9fa17da3b19ed762c814ce9b78b 100755 (executable)
@@ -25,7 +25,7 @@ fi
 
 exec 3>&1
 
-touch "$P/#index.flag"
+touch -d "@$_DATE" "$P/#index.flag"
 mkdir -p "$I"
 
 { cat; printf \\n; } \