From d23cbb70e8cb096b7ef7c32e6cac083257cf1f31 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Sun, 21 Oct 2018 21:50:24 +0200
Subject: [PATCH] remove redundant meta records during index update

---
 indexmeta.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.39.2