Teaching materials and bash scripts for Debian 7