From: Paul Hänsch <paul@plutz.net>
Date: Sun, 21 Oct 2018 19:50:24 +0000 (+0200)
Subject: remove redundant meta records during index update
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=d23cbb70e8cb096b7ef7c32e6cac083257cf1f31;p=serve0

remove redundant meta records during index update
---

diff --git a/indexmeta.sh b/indexmeta.sh
index 00741d4..aad3fc1 100644
--- a/indexmeta.sh
+++ b/indexmeta.sh
@@ -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