From: Paul Hänsch 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