Wenn man den Rechner 24 Stunden am Tag durchlaufen lässt, dann fängt das Dock nach einigen Tagen an, sich merkwürdig zu verhalten. Programme, die schon beendet sind, werden noch mit dem kleinen Dreieck darunter angezeigt und lassen sich über das Icon im Dock auch nicht mehr starten. Bei anderen Programmen "hüpft" das Icon beim Start nicht mehr, usw.

Zwar ist das Dock ein eigenständiges Programm, es erscheint jedoch nicht in dem Dialog "Programme sofort beenden", den man mit der Tastenkombination Befehl-Wahl-Escape aufrufen kann. Um das Dock neu zu starten muss man sich daher entweder einfach beim System ab- und anschließend wieder anmelden oder man muss das Terminal bemühen.

Da beim Abmelden auch alle gerade laufenden Programme beendet werden (u.a. auch die Classic-Umgebung), was vielleicht nicht unbedingt erwünscht ist, soll im Folgenden der Neustart des Docks über das Terminal beschrieben werden. Dazu ist es nicht nötig, als Administrator oder root angemeldet zu sein - das Dock ist nur ein Programm wie jedes andere und kann daher auch von jedem Benutzer beendet werden.

In einem Terminal-Fenster gibt man den folgenden Befehl ein:

ps -x | grep Dock

Zur Erklärung: Der Befehl ps gibt Informationen über alle derzeit laufenden Prozesse aus. Mit der Option -x wird die Ausgabe auf diejenigen beschränkt, die kein "controlling terminal" haben. Dies trifft insbesondere auf Programme zu, die das Macintosh-GUI benutzen. Aus dieser Liste werden mit dem Kommando grep dann noch alle diejenigen herausgefiltert, die das Wort "Dock" enthalten. Das Ergebnis wird in etwa so aussehen:

1676  ??  S      0:24.87 /System/Library/CoreServices/Dock.app/Contents/MacOS/
2574 std  RV     0:00.01 grep Dock

Dabei enthält die erste Zeile Informationen über das Dock, während die zweite Zeile unseren grep-Befehl beschreibt und uns hier nicht weiter interessieren soll.

Die Zahl am Anfang der ersten Zeile ist die so genannte Prozess-ID des Docks und genau diese brauchen wir jetzt, um das Dock zu beenden. Wir übergeben diese dazu an den Befehl kill:

kill 1676

(Die Prozess-ID ist natürlich nicht immer die gleiche - daher haben wir ja den ps-Befehl benutzt, um die aktuelle Prozess-ID des Docks zu ermitteln).

Durch den kill-Befehl wird das Dock beendet, dann aber automatisch neu gestartet. Das neu gestartete Dock wird nun wieder einige Tage lang ordentlich funktionieren.