Raspberry Pi: Neustart über Terminal

Den Raspberry Pi kann man relativ einfach und schnell über das Terminal neustarten. Öffnet dazu einfach das Terminal und gebt folgenden Befehl ein:
sudo reboot

12.11.2013