Comment by galad87

After every time the computer goes to sleep or something like that. I made a script to quickly restart the Dock.