Commit graph

102 commits

Author SHA1 Message Date
7824cbd7d1 Improve scratch script
It now execs bash, so the process chain doesn't get needlessly long with
nested calls to the script.
2018-11-29 08:54:00 +01:00
6a8d978bfd Add scratch script
This script creates a new temporary folder and starts a bash shell in
it. After the shell exits, the directory is deleted.
2018-11-06 14:36:31 +01:00