Periodically, the dock at the bottom of my MacOS screen just… vanishes.
Unclear what causes this.
All the windows still work, but without the dock navigating between windows is a hassle.
Previously I had resorted to a reboot to correct this.
Just found this tip.
In short:
- In a terminal window:
killall Dock - Command-Option-D
The dock is back.