# HG changeset patch # User Pascal Bellard # Date 1645912168 0 # Node ID 06980172e40b7baf37c7787c39512fd891ff6196 # Parent 36a1e6790d10a695d827ba9f60e90793db259445 sokojs: add shrink.sh (again) diff -r 36a1e6790d10 -r 06980172e40b sokojs/stuff/shrink.sh --- a/sokojs/stuff/shrink.sh Sat Feb 26 18:46:53 2022 +0000 +++ b/sokojs/stuff/shrink.sh Sat Feb 26 21:49:28 2022 +0000 @@ -47,7 +47,7 @@ print "document.write(\"\", //!" $0 n=0 } - else print }' < $file > $file.$$ + else print }' < $file | sed 's|"")|")|' > $file.$$ mv -f $file.$$ $file done ;; esac