pike.git / bin / getwhitespace.sh

version» Context lines:

pike.git/bin/getwhitespace.sh:1: + #!/bin/sh    -  + cat <<END + /* 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: + 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 ''   Newline at end of file added.