Search This Blog

Disable Gnome auto hide dock

  1. Install Dash to Dock extension for Gnome:
    • Debian Linux:
      sudo apt install gnome-shell-extensions gnome-shell-extension-dashtodock
    • Ubuntu Linux:
      sudo yum install gnome-extensions-app gnome-shell-extension-dash-to-dock
  2. Open Extensions via Activities, enable Dash to Dock, click the gear button to customize, then disable Intelligent autohide

No comments:

Post a Comment