mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

Diffstat (limited to 'arc/charterm')

0 files changed, 0 insertions, 0 deletions

#!/bin/bash # Regenerate html files. set -e process() { vim -c "set number" -c TOhtml -c write -c qall $1 sed -i 's,<title>\~/mu/,<title>Mu - ,' $1.html sed -i 's,\.html</title>,</title>,' $1.html sed -i 's/^\* { $.*$ }/* { font-size: 12pt; \1 }/g' $1.html sed -i 's/^body { $.*$ }/body { font-size: 12pt; \1 }/g' $1.html sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html # line numbers # make links less salient since we may have a lot of cross-links sed -i '/^body {/ a a:hover { text-decoration: underline; }' $1.html sed -i '/^body {/ a a { text-decoration: none; }' $1.html # tweak contrast sed -i 's/^\.Constant .*/.Constant { color: #00a0a0; }/' $1.html sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' $1.html sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' $1.html sed -i 's/^\.Delimiter .*/.Delimiter { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast sed -i 's/^\.PreProc .*/.PreProc { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast sed -i 's/^\.Identifier .*/.Identifier { color: #c0a020; }/' $1.html # same as muControl sed -i 's/^\.Special .*/.Special { color: #c00000; }/' $1.html # same as traceAbsent.. # switch 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 -e 's/┈/╌/g' -e 's/┊/╎/g' $1.html mv -i $1.html html/`dirname $1` } if [ $# -gt 0 ] then for f in $* do process $f done exit 0 fi rm html/*.html html/edit/*.html for f in *.cc *.mu edit/*.mu do process $f done if which ctags >&/dev/null then ( cd linkify; build; ) ctags -x *.cc |grep -v "^operator \| member \| variable " > cpp.tags linkify/linkify cpp.tags html/*.cc.html rm cpp.tags ctags -x [0-9]*.mu > mu.tags linkify/linkify mu.tags html/[0-9]*.mu.html for f in [a-zA-Z]*.mu do ctags -x [0-9]*.mu $f > mu.tags linkify/linkify mu.tags html/$f.html done rm mu.tags ( cd edit ctags -x ../[0-9]*.mu *.mu > mu.tags ../linkify/linkify mu.tags ../html/edit/*.mu.html rm mu.tags ) ( cd linkify; clean; ) for f in html/*.html html/edit/*.html do mv $f.out $f done fi


context:
space:
mode: