]> git.plutz.net Git - serve0/commitdiff
remove redundant meta records during index update
authorPaul Hänsch <paul@plutz.net>
Sun, 21 Oct 2018 19:50:24 +0000 (21:50 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 21 Oct 2018 19:50:24 +0000 (21:50 +0200)
indexmeta.sh

index 00741d44881793000fce5b4f2e24142d8e6cf51f..aad3fc1433990ee4f0822dc4d9b54fdd26420ed0 100644 (file)
@@ -95,7 +95,8 @@ meta_dir(){
       grep -qF "       $(meta_name "$v")" "$meta" \
       || meta_line "$v"
     done >>"$meta"
-    rm "$meta.ref"
+    sort -u "$meta" >"$meta.ref"
+    mv "$meta.ref" "$meta"
 
     RELEASE "$meta"
   fi