devtools/drawterm.sh

#!/bin/bash

if [ "$JEHANNE" = "" ]; then
	echo ./hacking/drawterm.sh requires the shell started by ./hacking/devshell.sh
	exit 1
fi
drawterm -a 127.0.0.1 -c 127.0.0.1 -u glenda