56:49435f917654
Anton Shestakov <engored@ya.ru>, Sun, 07 Sep 2014 18:58:52 +0900
Make one temp dir for every prompt session, make git quiet.

previous change 53:89d19a889252

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