Shell scripts for configuring an arm home server e.g Raspberry Pi, Cubietruck