# HG changeset patch # User Pascal Bellard # Date 1645887725 0 # Node ID 035e82f04c94a2943868e4825326a6fca605454d # Parent b53e18d1978e0141a47dc8108f41cb4d70b7ebde sokojs: add shrink.sh diff -r b53e18d1978e -r 035e82f04c94 sokojs/stuff/htm2slc.sh --- a/sokojs/stuff/htm2slc.sh Sat Feb 26 07:43:46 2022 +0100 +++ b/sokojs/stuff/htm2slc.sh Sat Feb 26 15:02:05 2022 +0000 @@ -2,7 +2,7 @@ case "$0" in *2txt*) - [ -z "$1" ] && echo "$0 file" && exit 1 + [ -z "$1" ] && echo "Usage: $0 file" && exit 1 sed '/^"\|\|",$/) { + s=$0; sub(/.*value=\\"/,"",s); sub(/\\">.*/,"",s) + l=length(line[0])-3; n-=cut+row; begin-=length(tab) + n=s - (l*n) - begin - ((begin+end)*(int(s/l)-n)) + print "document.write(\"\", //!" $0 + } + else print }' < $file > $file.$$ + mv -f $file.$$ $file + done ;; +esac diff -r b53e18d1978e -r 035e82f04c94 sokojs/stuff/slc2htm.sh --- a/sokojs/stuff/slc2htm.sh Sat Feb 26 07:43:46 2022 +0100 +++ b/sokojs/stuff/slc2htm.sh Sat Feb 26 15:02:05 2022 +0000 @@ -16,7 +16,7 @@ grep -Eq ' _|_ |^_|_$' } -[ -z "$1" ] && echo "$0 set1.slc ..." && exit 1 +[ -z "$1" ] && echo "Usage: $0 set1.slc ..." && exit 1 [ ! -s "main.htm" ] && echo "$PWD/main.htm not found" && exit 2 while [ "$1" ]; do diff -r b53e18d1978e -r 035e82f04c94 sokojs/stuff/unshrink.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sokojs/stuff/unshrink.sh Sat Feb 26 15:02:05 2022 +0000 @@ -0,0 +1,1 @@ +shrink.sh \ No newline at end of file