chiark / gitweb /
gitconfig: Use magical hacked 6x13 font.
[profile] / xrun
1 #! /bin/sh
2 cmd=`xgetline -t "Shell command" -p "Command:" -Hl $HOME/.cmd.hist` &&
3   exec xcatch -- sh -c "$cmd"