diff options
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/update_html b/update_html index 58a69ab3..4f99fac9 100755 --- a/update_html +++ b/update_html @@ -26,3 +26,10 @@ for f in *.cc *.mu edit/*.mu do process $f done + +# switch the unicode characters around in the rendered html +# the ones we have in the source files render double-wide in html +# the ones we want in the html cause iTerm2 to slow down in alt-tabbing for some reason +# the following commands give us the best of both worlds +sed -i 's/┈/╌/g' html/edit/*.mu.html +sed -i 's/┊/╎/g' html/edit/*.mu.html |