]> git.plutz.net Git - serve0/commitdiff
Merge branch 'master' of plutz.net:serve0
authorPaul Hänsch <paul@plutz.net>
Thu, 10 Jun 2021 09:47:07 +0000 (11:47 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 10 Jun 2021 09:47:07 +0000 (11:47 +0200)
widgets.sh

index 4b36b3534e8629c992c46a9309814131c37b1843..35b8b70ed349a9414e020e1789df3dc4176aa301 100644 (file)
@@ -14,7 +14,7 @@ c_tags="$_DATA/.index/tags.cache"; c_tagcategories="$_DATA/.index/tagcategories.
 if [ ! -s "$c_tags" -o ! -s "$c_tagcategories" ] \
    || [ "$(find "$_DATA/" -path '*/.index/meta' -newer "$c_tags")" ]
   then
-  w_tags="$( local cn=1
+  w_tags="$( cn=1
     find "$_DATA/" -path '*/.index/meta' -print0 \
     | xargs -r0 sed -r '
       s;^.*\t.*\t.*\ttags=(.*)\tcomment=.*\t.*\r$;\1;;