pike.git / bin / getwhitespace.sh

version» Context lines:

pike.git/bin/getwhitespace.sh:1:   #!/bin/sh    - echo "/* File generated on `date` - by getwhitespace <UnicodeData.txt */ - " + cat <<END + /* File generated on `date -I` by getwhitespace <UnicodeData.txt */    - echo '#define SPACECASE16 SPACECASE8 \' + #define SPACECASE8 \\ +  case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\ +  case 0x85:case 0xa0: + END +  + cat <<END + #define SPACECASE16 SPACECASE8 \\ + END   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 ''