174:2b4ab6c3384d
Anton Shestakov <av6@dwimlabs.net>, Sun, 17 Mar 2019 13:35:27 +0800
.bashrc: pip can find its own cache nowadays, but ccache needs to be in $PATH

previous change 56:49435f917654

docs/make-screenshots.sh

Permissions: -rwxr-xr-x

Other formats: Feeds:
#!/bin/bash
command -v import &>/dev/null || { echo "this needs imagemagick"; exit 1; }
[[ $TERM == 'linux' ]] && { echo "this doesn't work in a tty"; exit 2; }
[[ $(tput cols) -le 100 ]] && { echo 'Maximize the terminal window and press enter.'; read; }
DOC_DIR=$(cd "$(dirname "$0")" && pwd)
cd "$(mktemp -d)" && mkdir '~' && cd '~'
for what in 'exit' venv hg git root ; do
clear
grep -v '^\s*\(#\|$\)' "$DOC_DIR/prompt-session-$what.sh" | HISTFILE= bash -i
sleep 1 # otherwise "$ exit" is in a superposition of showing and not showing
import -window "$WINDOWID" "$DOC_DIR/prompt-$what.png"
mogrify -trim -background black -extent 800x "$DOC_DIR/prompt-$what.png"
done
clear
echo all done