Ik heb veel gespeeld met mijn Raspberry Pi en nadat ik het opstarten ik vaak dezelfde set van commando's. Het is een pijn in de nek en foutgevoelig te voeren ze elke keer met de hand. In de oude dagen van DOS we behandeld met behulp van een batchprog