]> git.plutz.net Git - serve0/commitdiff
improved shell compatibility
authorPaul Hänsch <paul@plutz.net>
Sun, 24 May 2020 13:38:50 +0000 (15:38 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 24 May 2020 13:38:50 +0000 (15:38 +0200)
widgets.sh

index 839c0076b7c91aeecb1ca5151b8579f8933ea928..a039d97b6b486613b8e19ae2dbb71a318f3c07dd 100644 (file)
@@ -201,7 +201,7 @@ w_advsearch(){
             $n "${t:-checked}" $n $n \
             $n "${t:+checked}" $n $n
 
-    f="|${f#~}|"
+    f="|${f#\~}|"
     printf '*\n%s\n' "$w_tagcategories" \
     | while read -r category; do
       lbid="cat_${n}_${category}"