pike.git
/
bin
/
getwhitespace.sh
version
»
Context lines:
10
20
40
80
file
none
3
pike.git/bin/getwhitespace.sh:1:
#!/bin/sh echo "/* File generated on `date` by getwhitespace <UnicodeData.txt */ #define SPACECASE8 \\
-
case ' ':case '
\\\\t
':case '
\\\\r
':case '
\\\\n
':case '
\\\\v
':case '
\\\\f
':
\\
+
case ' ':case '
\\t
':case '
\\r
':case '
\\n
':case '
\\v
':case '
\\f
': \\
case 0x85:case 0xa0: " echo '#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 ''