]> git.plutz.net Git - serve0/commitdiff
omit sorting of meta file; provide time marks for newly generated meta files
authorPaul Hänsch <paul@plutz.net>
Mon, 4 Jan 2021 20:07:08 +0000 (21:07 +0100)
committerPaul Hänsch <paul@plutz.net>
Mon, 4 Jan 2021 20:07:08 +0000 (21:07 +0100)
indexmeta.sh

index e478324647de9c44239016b37e884095012caeca..43e360d2bfcfab9f4cc7ea2016b971f981239227 100644 (file)
@@ -88,10 +88,11 @@ meta_dir(){
     | while read -r v; do
       meta_line "$v"
     done >"$meta"
+    touch "$metat"
 
     RELEASE "$meta"
   elif [ -d "$dir/.index" -a "$dir" -nt "$metat" ] && LOCK "$meta"; then
-    cp -p "$meta" "$meta.ref"; touch "$meta"
+    touch "$meta"
     find "$dir" -type f -newer "$metat" \
          -mindepth 1 -maxdepth 1 \
     | grep -aE "$file_pattern" \
@@ -99,8 +100,6 @@ meta_dir(){
       grep -qF "       $(meta_name "$v")" "$meta" \
       || meta_line "$v"
     done >>"$meta"
-    sort -u "$meta" >"$meta.ref"
-    mv "$meta.ref" "$meta"
     touch "$metat"
 
     RELEASE "$meta"