A library for the generation of shell scripts