diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-25 11:04:14 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-25 11:04:41 -0800 |
| commit | ccae45851f729ada29391e7497cf8e4c9796ff8c (patch) | |
| tree | bfd3f35d09066861891a35dd1ecefe2bcfcd42b7 | |
| parent | 1166938707b1396a1ece0b8eef6ebd769e6fadf9 (diff) | |
| download | mu-ccae45851f729ada29391e7497cf8e4c9796ff8c.tar.gz | |
3687
| -rw-r--r-- | edit/005-sandbox.mu | 2 | ||||
| -rw-r--r-- | html/edit/005-sandbox.mu.html | 2 | ||||
| -rwxr-xr-x | update_html | 13 |
3 files changed, 8 insertions, 9 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index 8cd21fa0..295e5ff1 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -21,7 +21,7 @@ def! main [ ] container environment [ - sandbox:&:sandbox # list of sandboxes, from top to bottom + sandbox:&:sandbox # list of sandboxes, from top to bottom. TODO: switch to &:list:sandbox render-from:num number-of-sandboxes:num ] diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index e9c83191..886ca9bc 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -56,7 +56,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] <span class="muData">container</span> environment [ - sandbox:&:sandbox <span class="Comment"># list of sandboxes, from top to bottom</span> + sandbox:&:sandbox <span class="Comment"># list of sandboxes, from top to bottom. TODO: switch to &:list:sandbox</span> render-from:num number-of-sandboxes:num ] diff --git a/update_html b/update_html index 5ca4d74b..54d803d3 100755 --- a/update_html +++ b/update_html @@ -17,6 +17,12 @@ process() { 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` } @@ -35,10 +41,3 @@ 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 |