lots of shell programs to help with installing a Linux OS