wok diff sokojs/stuff/shrink.sh @ rev 25037

Up glza (0.11.4)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat May 21 21:38:29 2022 +0000 (2022-05-21)
parents 33b1bc3e872a
children 8acc87b18a99
line diff
     1.1 --- a/sokojs/stuff/shrink.sh	Sat Feb 26 22:02:57 2022 +0000
     1.2 +++ b/sokojs/stuff/shrink.sh	Sat May 21 21:38:29 2022 +0000
     1.3 @@ -6,7 +6,7 @@
     1.4  	sed -i 's|.*//!||' $@ ;;
     1.5  *)	for file in $@ ; do
     1.6  		[ -s "$file" ] || continue
     1.7 -		grep -q '//!||' && continue 
     1.8 +		grep -q '//!' && continue 
     1.9  		awk 'BEGIN { begin=9999; end=9999; tab=" " }
    1.10  function scan(s) {
    1.11    i=2