From: Paul Hänsch Date: Fri, 20 Jul 2018 21:12:22 +0000 (+0200) Subject: slight speed improvement in meta updating X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=9221d19435d685edf5cf54f4ad7419bc9255996f;p=serve0 slight speed improvement in meta updating --- diff --git a/indexmeta.sh b/indexmeta.sh index 37a617a..f0185fb 100644 --- a/indexmeta.sh +++ b/indexmeta.sh @@ -92,13 +92,12 @@ meta_dir(){ RELEASE "$meta" elif [ -d "$dir/.index" -a "$dir" -nt "$meta" ] && LOCK "$meta"; then cp -p "$meta" "$meta.ref"; touch "$meta" - find "$dir" -type f -mindepth 1 -maxdepth 1 \ + find "$dir" -type f -newer "$meta.ref" \ + -mindepth 1 -maxdepth 1 \ | grep -aE "$file_pattern" \ | while read -r v; do - if [ "$v" -nt "$meta.ref" ]; then - grep -qF " $(meta_name "$v")" "$meta" \ - || meta_line "$v" - fi + grep -qF " $(meta_name "$v")" "$meta" \ + || meta_line "$v" done >>"$meta" rm "$meta.ref"