(#19) Regenerate screencast with colours

adamrodger · Jul 24, 2020 · 9c044b1 · 9c044b1
1 parent db8fdf0
commit 9c044b1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/doc/screencast.sh b/doc/screencast.sh
@@ -5,9 +5,9 @@
 #     docker run --rm -it -v /$(pwd):/app rust
 #     apt update && apt install -y asciinema nodejs npm pv
 #     npm install -g svg-term-cli
-#     cargo install gctx
 #     cd /app
-#     svg-term --command="bash doc/screencast.sh" --out doc/screencast.svg --padding=10 --height 25 --width 100 --window true
+#     cargo install --path gctx/
+#     svg-term --command="bash doc/screencast.sh" --out doc/screencast.svg --padding=10 --height 25 --width 100
 set -e
 set -u
 

diff --git a/doc/screencast.svg b/doc/screencast.svg