Mit gedrückter Shift-Taste booten und dann statt anmelden einen Neustart machen, ist fast so gut wie mal den Diskwarrior ranlassen.