Raspberry Pi Domain Controller, local , for example, you’ll need to follow these instructions to change the Pi’s hostname .