• De Deutsch
  • Fr
  • En
  • Bg
  • Es

Mac OS X Dock neustarten

Sonntag, 20. Januar 2008, 14:20 Uhr
Wie kann man das Dock von Mac OS X neustarten? Hier erfahrt Ihr es.

Aus irgendeinem Grund war heute morgen mein Dock verschwunden. Nein, nicht ausgeblendet, sondern einfach weg. Also die Aufgabe: Dock neustarten damit es wiederkommt. Dazu gibt es mehrere Möglichkeiten:

1. Mit der Aktivitätsanzeige


Einfach die Mac OS X Aktivitätsanzeige starten und nach Dock suchen.


Mit "Prozess beenden" kann man dann das Dock herunterfahren. Es wird danach automatisch neu gestartet.

2. Im Terminal per kill


Die nächste Möglichkeit ist das Beenden direkt über Unix-Programme im Terminal. Das Programm kill kann jeden Prozess und jede Anwendung der Systems löschen. Dazu muss man allerdings zuerst die Anwendungs-ID herausbekommen. Einfach in die Konsole eingeben:

ps -aux | grep Dock

In der Ausgabe erscheint dann eine Liste aller Programme die den Begriff Dock enthalten.


Im Bild oben sieht man, dass das Dock die ID 1437 hat. Nun kann man kill aufrufen:

kill 1437

Danach wird das Dock heruntergefahren und neu gestartet.

3. Mit AppleScript


Die Möglichkeit kannst Du sowohl mit dem ScriptEditor oder per Konsole ausführen. In beiden Fällen müsst Ihr AppleScript folgendes ausführen lassen:

quit application "Dock"

Genau wie bei den anderen Möglichkeiten wird das Dock heruntergefahren und dann neu gestartet.

Ich möchte aber das Beispiel AppleScript per Konsole zeigen, da man dort etwas beachten muss. Viele wissen nämlich nicht, dass man AppleScript von der Konsole ausführen kann. Dazu gibt es die Anwendung "osascript". Dahinter muss das Flag "e" für execute kommen und dann der auszuführende Code. Sollten darin Sonderzeichen vorkommen, müssen diese "escaped" werden. Die Eingabe für den obigen Befehl lautet dann:

osascript -e "quit application \"Dock\""

Wie immer wird das Dock neugestartet!

Mein Dock geht jedenfalls wieder. Habt Ihr noch weitere Ideen?

Einige Anregungen stammen von Acme Technologies.
Dieser Artikel wurde eingeordnet unter: Tipps und Tricks

Suche

Werbung

Werde ein Fan auf Facebook

Ähnliche Artikel

Facebook logo
Werde ein Fan auf