Ich hatte zunächst mit der inhaus auch Probleme und bin mit linux_fs_start zurück auf meine Initiale 7.60 gegangen. Reboot war bei mir auch unbekannt, aber ich hab dann gegoogelt, nur schon wieder vergessen, wie der alternative Befehl für Neustart war. Das hat aber dann funktioniert. Ganz normal...