#tips

A collection of 1 posts

  • Speed up MacOS Dock auto-hide

    Yesterday I joined a new company, and as you might expect, the first task given to me was to setup my dev environment. Aside from installing all the important dev tools I wanted to make my dock auto-hide to save me some space on my desktop. This however reminded me of a classic MacOS problem - the damn thing takes forever to open: