annotate ansi2html.sh @ 0:631dfde45073 draft default tip

First tool-shed public version
author gordon
date Tue, 09 Oct 2012 18:48:06 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
1 #!/bin/sh
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
2
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
3 # Convert ANSI (terminal) colours and attributes to HTML
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
4
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
5 # Author:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
6 # http://www.pixelbeat.org/docs/terminal_colours/
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
7 # Examples:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
8 # ls -l --color=always | ansi2html.sh > ls.html
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
9 # git show --color | ansi2html.sh > last_change.html
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
10 # Generally one can use the `script` util to capture full terminal output.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
11 # Changes:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
12 # V0.1, 24 Apr 2008, Initial release
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
13 # V0.2, 01 Jan 2009, Phil Harnish <philharnish@gmail.com>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
14 # Support `git diff --color` output by
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
15 # matching ANSI codes that specify only
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
16 # bold or background colour.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
17 # P@draigBrady.com
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
18 # Support `ls --color` output by stripping
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
19 # redundant leading 0s from ANSI codes.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
20 # Support `grep --color=always` by stripping
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
21 # unhandled ANSI codes (specifically ^[[K).
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
22 # V0.3, 20 Mar 2009, http://eexpress.blog.ubuntu.org.cn/
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
23 # Remove cat -v usage which mangled non ascii input.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
24 # Cleanup regular expressions used.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
25 # Support other attributes like reverse, ...
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
26 # P@draigBrady.com
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
27 # Correctly nest <span> tags (even across lines).
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
28 # Add a command line option to use a dark background.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
29 # Strip more terminal control codes.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
30 # V0.4, 17 Sep 2009, P@draigBrady.com
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
31 # Handle codes with combined attributes and color.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
32 # Handle isolated <bold> attributes with css.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
33 # Strip more terminal control codes.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
34 # V0.12, 12 Jul 2011
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
35 # http://github.com/pixelb/scripts/commits/master/scripts/ansi2html.sh
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
36
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
37 if [ "$1" = "--version" ]; then
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
38 echo "0.12" && exit
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
39 fi
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
40
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
41 if [ "$1" = "--help" ]; then
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
42 echo "This utility converts ANSI codes in data passed to stdin" >&2
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
43 echo "It has 2 optional parameters:" >&2
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
44 echo " --bg=dark --palette=linux|solarized|tango|xterm" >&2
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
45 echo "E.g.: ls -l --color=always | ansi2html.sh --bg=dark > ls.html" >&2
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
46 exit
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
47 fi
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
48
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
49 [ "$1" = "--bg=dark" ] && { dark_bg=yes; shift; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
50
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
51 if [ "$1" = "--palette=solarized" ]; then
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
52 # See http://ethanschoonover.com/solarized
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
53 P0=073642; P1=D30102; P2=859900; P3=B58900;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
54 P4=268BD2; P5=D33682; P6=2AA198; P7=EEE8D5;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
55 P8=002B36; P9=CB4B16; P10=586E75; P11=657B83;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
56 P12=839496; P13=6C71C4; P14=93A1A1; P15=FDF6E3;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
57 shift;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
58 elif [ "$1" = "--palette=solarized-xterm" ]; then
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
59 # Above mapped onto the xterm 256 color palette
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
60 P0=262626; P1=AF0000; P2=5F8700; P3=AF8700;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
61 P4=0087FF; P5=AF005F; P6=00AFAF; P7=E4E4E4;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
62 P8=1C1C1C; P9=D75F00; P10=585858; P11=626262;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
63 P12=808080; P13=5F5FAF; P14=8A8A8A; P15=FFFFD7;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
64 shift;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
65 elif [ "$1" = "--palette=tango" ]; then
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
66 # Gnome default
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
67 P0=000000; P1=CC0000; P2=4E9A06; P3=C4A000;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
68 P4=3465A4; P5=75507B; P6=06989A; P7=D3D7CF;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
69 P8=555753; P9=EF2929; P10=8AE234; P11=FCE94F;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
70 P12=729FCF; P13=AD7FA8; P14=34E2E2; P15=EEEEEC;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
71 shift;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
72 elif [ "$1" = "--palette=xterm" ]; then
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
73 P0=000000; P1=CD0000; P2=00CD00; P3=CDCD00;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
74 P4=0000EE; P5=CD00CD; P6=00CDCD; P7=E5E5E5;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
75 P8=7F7F7F; P9=FF0000; P10=00FF00; P11=FFFF00;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
76 P12=5C5CFF; P13=FF00FF; P14=00FFFF; P15=FFFFFF;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
77 shift;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
78 else # linux console
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
79 P0=000000; P1=AA0000; P2=00AA00; P3=AA5500;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
80 P4=0000AA; P5=AA00AA; P6=00AAAA; P7=AAAAAA;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
81 P8=555555; P9=FF5555; P10=55FF55; P11=FFFF55;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
82 P12=5555FF; P13=FF55FF; P14=55FFFF; P15=FFFFFF;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
83 [ "$1" = "--palette=linux" ] && shift
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
84 fi
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
85
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
86 [ "$1" = "--bg=dark" ] && { dark_bg=yes; shift; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
87
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
88 echo -n "<html>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
89 <head>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
90 <meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\"/>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
91 <style type=\"text/css\">
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
92 .ef0,.f0 { color: #$P0; } .eb0,.b0 { background-color: #$P0; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
93 .ef1,.f1 { color: #$P1; } .eb1,.b1 { background-color: #$P1; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
94 .ef2,.f2 { color: #$P2; } .eb2,.b2 { background-color: #$P2; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
95 .ef3,.f3 { color: #$P3; } .eb3,.b3 { background-color: #$P3; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
96 .ef4,.f4 { color: #$P4; } .eb4,.b4 { background-color: #$P4; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
97 .ef5,.f5 { color: #$P5; } .eb5,.b5 { background-color: #$P5; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
98 .ef6,.f6 { color: #$P6; } .eb6,.b6 { background-color: #$P6; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
99 .ef7,.f7 { color: #$P7; } .eb7,.b7 { background-color: #$P7; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
100 .ef8, .f0 > .bold,.bold > .f0 { color: #$P8; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
101 .ef9, .f1 > .bold,.bold > .f1 { color: #$P9; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
102 .ef10,.f2 > .bold,.bold > .f2 { color: #$P10; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
103 .ef11,.f3 > .bold,.bold > .f3 { color: #$P11; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
104 .ef12,.f4 > .bold,.bold > .f4 { color: #$P12; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
105 .ef13,.f5 > .bold,.bold > .f5 { color: #$P13; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
106 .ef14,.f6 > .bold,.bold > .f6 { color: #$P14; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
107 .ef15,.f7 > .bold,.bold > .f7 { color: #$P15; font-weight: normal; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
108 .eb8 { background-color: #$P8; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
109 .eb9 { background-color: #$P9; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
110 .eb10 { background-color: #$P10; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
111 .eb11 { background-color: #$P11; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
112 .eb12 { background-color: #$P12; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
113 .eb13 { background-color: #$P13; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
114 .eb14 { background-color: #$P14; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
115 .eb15 { background-color: #$P15; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
116 "
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
117
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
118 # The default xterm 256 colour palette
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
119 for red in $(seq 0 5); do
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
120 for green in $(seq 0 5); do
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
121 for blue in $(seq 0 5); do
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
122 c=$((16 + ($red * 36) + ($green * 6) + $blue))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
123 r=$((($red * 40 + 55) * ($red > 0)))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
124 g=$((($green * 40 + 55) * ($green > 0)))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
125 b=$((($blue * 40 + 55) * ($blue > 0)))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
126 printf ".ef%d { color: #%2.2x%2.2x%2.2x; } " $c $r $g $b
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
127 printf ".eb%d { background-color: #%2.2x%2.2x%2.2x; }\n" $c $r $g $b
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
128 done
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
129 done
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
130 done
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
131 for gray in $(seq 0 23); do
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
132 c=$(($gray+232))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
133 l=$(($gray*10 + 8))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
134 printf ".ef%d { color: #%2.2x%2.2x%2.2x; } " $c $l $l $l
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
135 printf ".eb%d { background-color: #%2.2x%2.2x%2.2x; }\n" $c $l $l $l
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
136 done
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
137
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
138 echo -n '
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
139 .f9 { color: '`[ "$dark_bg" ] && echo "#$P7;" || echo "#$P0;"`' }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
140 .b9 { background-color: #'`[ "$dark_bg" ] && echo $P0 || echo $P15`'; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
141 .f9 > .bold,.bold > .f9, body.f9 > pre > .bold {
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
142 /* Bold is heavy black on white, or bright white
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
143 depending on the default background */
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
144 color: '`[ "$dark_bg" ] && echo "#$P15;" || echo "#$P0;"`'
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
145 font-weight: '`[ "$dark_bg" ] && echo 'normal;' || echo 'bold;'`'
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
146 }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
147 .reverse {
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
148 /* CSS doesnt support swapping fg and bg colours unfortunately,
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
149 so just hardcode something that will look OK on all backgrounds. */
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
150 '"color: #$P0; background-color: #$P7;"'
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
151 }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
152 .underline { text-decoration: underline; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
153 .line-through { text-decoration: line-through; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
154 .blink { text-decoration: blink; }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
155
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
156 </style>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
157 </head>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
158
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
159 <body class="f9 b9">
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
160 <pre>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
161 '
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
162
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
163 p='\x1b\[' #shortcut to match escape codes
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
164 P="\(^[^°]*\)¡$p" #expression to match prepended codes below
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
165
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
166 # Handle various xterm control sequences.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
167 # See /usr/share/doc/xterm-*/ctlseqs.txt
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
168 sed "
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
169 s#\x1b[^\x1b]*\x1b\\\##g # strip anything between \e and ST
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
170 s#\x1b][0-9]*;[^\a]*\a##g # strip any OSC (xterm title etc.)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
171
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
172 #handle carriage returns
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
173 s#^.*\r\{1,\}\([^$]\)#\1#
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
174 s#\r\$## # strip trailing \r
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
175
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
176 # strip other non SGR escape sequences
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
177 s#[\x07]##g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
178 s#\x1b[]>=\][0-9;]*##g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
179 s#\x1bP+.\{5\}##g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
180 s#${p}[0-9;?]*[^0-9;?m]##g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
181
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
182 #remove backspace chars and what they're backspacing over
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
183 :rm_bs
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
184 s#[^\x08]\x08##g; t rm_bs
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
185 " |
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
186
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
187 # Normalize the input before transformation
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
188 sed "
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
189 # escape HTML
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
190 s#\&#\&amp;#g; s#>#\&gt;#g; s#<#\&lt;#g; s#\"#\&quot;#g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
191
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
192 # normalize SGR codes a little
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
193
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
194 # split 256 colors out and mark so that they're not
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
195 # recognised by the following 'split combined' line
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
196 :e
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
197 s#${p}\([0-9;]\{1,\}\);\([34]8;5;[0-9]\{1,3\}\)m#${p}\1m${p}¬\2m#g; t e
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
198 s#${p}\([34]8;5;[0-9]\{1,3\}\)m#${p}¬\1m#g;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
199
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
200 :c
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
201 s#${p}\([0-9]\{1,\}\);\([0-9;]\{1,\}\)m#${p}\1m${p}\2m#g; t c # split combined
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
202 s#${p}0\([0-7]\)#${p}\1#g #strip leading 0
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
203 s#${p}1m\(\(${p}[4579]m\)*\)#\1${p}1m#g #bold last (with clr)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
204 s#${p}m#${p}0m#g #add leading 0 to norm
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
205
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
206 # undo any 256 color marking
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
207 s#${p}¬\([34]8;5;[0-9]\{1,3\}\)m#${p}\1m#g;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
208
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
209 # map 16 color codes to color + bold
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
210 s#${p}9\([0-7]\)m#${p}3\1m${p}1m#g;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
211 s#${p}10\([0-7]\)m#${p}4\1m${p}1m#g;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
212
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
213 # change 'reset' code to a single char, and prepend a single char to
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
214 # other codes so that we can easily do negative matching, as sed
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
215 # does not support look behind expressions etc.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
216 s#°#\&deg;#g; s#${p}0m#°#g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
217 s#¡#\&iexcl;#g; s#${p}[0-9;]*m#¡&#g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
218 " |
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
219
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
220 # Convert SGR sequences to HTML
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
221 sed "
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
222 :ansi_to_span # replace ANSI codes with CSS classes
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
223 t ansi_to_span # hack so t commands below only apply to preceeding s cmd
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
224
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
225 /^[^¡]*°/ { b span_end } # replace 'reset code' if no preceeding code
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
226
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
227 # common combinations to minimise html (optional)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
228 s#${P}3\([0-7]\)m¡${p}4\([0-7]\)m#\1<span class=\"f\2 b\3\">#;t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
229 s#${P}4\([0-7]\)m¡${p}3\([0-7]\)m#\1<span class=\"f\3 b\2\">#;t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
230
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
231 s#${P}1m#\1<span class=\"bold\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
232 s#${P}4m#\1<span class=\"underline\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
233 s#${P}5m#\1<span class=\"blink\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
234 s#${P}7m#\1<span class=\"reverse\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
235 s#${P}9m#\1<span class=\"line-through\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
236 s#${P}3\([0-9]\)m#\1<span class=\"f\2\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
237 s#${P}4\([0-9]\)m#\1<span class=\"b\2\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
238
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
239 s#${P}38;5;\([0-9]\{1,3\}\)m#\1<span class=\"ef\2\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
240 s#${P}48;5;\([0-9]\{1,3\}\)m#\1<span class=\"eb\2\">#; t span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
241
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
242 s#${P}[0-9;]*m#\1#g; t ansi_to_span # strip unhandled codes
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
243
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
244 b # next line of input
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
245
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
246 # add a corresponding span end flag
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
247 :span_count
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
248 x; s/^/s/; x
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
249 b ansi_to_span
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
250
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
251 # replace 'reset code' with correct number of </span> tags
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
252 :span_end
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
253 x
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
254 /^s/ {
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
255 s/^.//
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
256 x
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
257 s#°#</span>°#
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
258 b span_end
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
259 }
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
260 x
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
261 s#°##
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
262 b ansi_to_span
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
263 " |
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
264
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
265 # Convert alternative character set
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
266 # Note we convert here, as if we do at start we have to worry about avoiding
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
267 # conversion of SGR codes etc., whereas doing here we only have to
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
268 # avoid conversions of stuff between &...; or <...>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
269 #
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
270 # Note we could use sed to do this based around:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
271 # sed 'y/abcdefghijklmnopqrstuvwxyz{}`~/▒␉␌␍␊°±␤␋┘┐┌└┼⎺⎻─⎼⎽├┤┴┬│≤≥π£◆·/'
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
272 # However that would be very awkward as we need to only conv some input.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
273 # The basic scheme that we do in the python script below is:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
274 # 1. enable transliterate once ¡ char seen
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
275 # 2. disable once µ char seen (may be on diff line to ¡)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
276 # 3. never transliterate between &; or <> chars
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
277 sed "
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
278 # change 'smacs' and 'rmacs' to a single char so that we can easily do
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
279 # negative matching, as sed does not support look behind expressions etc.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
280 # Note we don't use ° like above as that's part of the alternate charset.
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
281 s#\x1b(0#¡#g;
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
282 s#µ#\&micro;#g; s#\x1b(B#µ#g
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
283 " |
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
284 (
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
285 python -c "
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
286 # vim:fileencoding=utf8
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
287
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
288 import sys
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
289 import locale
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
290 encoding=locale.getpreferredencoding()
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
291
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
292 old='abcdefghijklmnopqrstuvwxyz{}\`~'
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
293 new='▒␉␌␍␊°±␤␋┘┐┌└┼⎺⎻─⎼⎽├┤┴┬│≤≥π£◆·'
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
294 new=unicode(new, 'utf-8')
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
295 table=range(128)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
296 for o,n in zip(old, new): table[ord(o)]=n
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
297
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
298 (STANDARD, ALTERNATIVE, HTML_TAG, HTML_ENTITY) = (0, 1, 2, 3)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
299
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
300 state = STANDARD
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
301 last_mode = STANDARD
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
302 for c in unicode(sys.stdin.read(), encoding):
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
303 if state == HTML_TAG:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
304 if c == '>':
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
305 state = last_mode
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
306 elif state == HTML_ENTITY:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
307 if c == ';':
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
308 state = last_mode
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
309 else:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
310 if c == '<':
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
311 state = HTML_TAG
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
312 elif c == '&':
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
313 state = HTML_ENTITY
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
314 elif c == u'¡' and state == STANDARD:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
315 state = ALTERNATIVE
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
316 last_mode = ALTERNATIVE
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
317 continue
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
318 elif c == u'µ' and state == ALTERNATIVE:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
319 state = STANDARD
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
320 last_mode = STANDARD
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
321 continue
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
322 elif state == ALTERNATIVE:
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
323 c = c.translate(table)
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
324 sys.stdout.write(c.encode(encoding))
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
325 " 2>/dev/null ||
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
326 sed 's/[¡µ]//g' # just strip aternative flag chars
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
327 )
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
328
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
329 echo "</pre>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
330 </body>
631dfde45073 First tool-shed public version
gordon
parents:
diff changeset
331 </html>"