A selection of shell scripts for managing RASP runs