Shell scripts for configuring the RaspberryPi