Computing with the raspberry pi : Command Line and GUI Linux (2019)