pike.git / bin / getwhitespace.sh

version» Context lines:

pike.git/bin/getwhitespace.sh:1:   #!/bin/sh    - echo "/* File generated on `date` + printf "/* File generated on `date`   by getwhitespace <UnicodeData.txt */      #define SPACECASE8 \\    case ' ':case '\\\\t':case '\\\\r':case '\\\\n':case '\\\\v':case '\\\\f': \\    case 0x85:case 0xa0:   "    - echo '#define SPACECASE16 SPACECASE8 \' + printf '#define SPACECASE16 SPACECASE8 '   sed -n -e '   s/^\([0-9A-Fa-f]*\);[^;]*;[^;]*;[^;]*;\([^;]*\);/\1 \2 /   /;INFORMATION SEPARATOR /d   /^[^;]* [SB] / p   /^[^;]* [WS]S / p   /^[^;]* CS <[^>]*> 0020;/ p   ' | sed -e '   y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/   /^00/ d   s/^\([^ ]*\) .*$/case 0x\1:\\/   '   echo ''