Software & AppsOperating SystemLinux

How To Hide the Dock in GNOME

Ubuntu 15

In this comprehensive guide, we will walk you through the process of hiding the dock in GNOME. This might be useful for those who want a cleaner desktop or simply prefer using keyboard shortcuts over the dock. We will cover multiple methods, including using the Dash to Dock extension, dconf Editor, gsettings, and the Dash to Panel extension.

Quick Answer

To hide the dock in GNOME, you can use the Dash to Dock extension and enable the "Intelligent autohide" option to partially hide the dock, or disable all options in the "Launchers" tab to completely hide the dock. Alternatively, you can use the dconf Editor or gsettings command to change the necessary properties and hide the dock. Another option is to use the Dash to Panel extension, which combines the dash with the GNOME main panel.

Using Dash to Dock Extension

The Dash to Dock extension is one of the most popular GNOME extensions. It provides a highly configurable dock that you can place anywhere on your screen. You can install it from the GNOME Extensions website.

Once installed, you need to enable the extension and open its settings. Here, you can control the behavior and appearance of the dock.

Partially Hiding the Dock

To partially hide the dock, navigate to the “Position and size” tab and enable the “Intelligent autohide” option. Click on the gear icon next to the option to access more settings. In the new dialog window, disable both the “Autohide” and “Dodge Windows” options. This will keep the dock hidden until you hover your mouse over it.

Completely Hiding the Dock

If you want to completely hide the dock, head over to the “Launchers” tab in the Dash to Dock settings. Here, disable all the options. This will remove all icons from the dock, causing it to stay hidden.

Using dconf Editor

The dconf Editor is a powerful tool that allows you to change many settings in GNOME. Open dconf Editor and navigate to /org/gnome/shell/extensions/dash-to-dock. Here, you can turn off the “autohide,” “dock-fixed,” and “intellihide” properties to hide the dock.

Using gsettings

The gsettings command allows you to change GNOME settings from the terminal. To hide the dock, you can use the following commands:

  • gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false – This command sets the dock to auto-hide when not in use.
  • gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false – This command hides the dock completely.

Using Dash to Panel Extension

If you prefer a panel-like behavior similar to GNOME 2 or other desktop environments, you can try the Dash to Panel extension. This extension moves the dash into the GNOME main panel so that the application launchers and system tray are combined into a single panel.

Conclusion

Hiding the dock in GNOME can help you achieve a cleaner desktop and can also be beneficial if you prefer using keyboard shortcuts. We hope this guide has been helpful in showing you how to hide the dock in GNOME using various methods. Remember, these solutions may vary depending on your GNOME version and specific configuration. Always make sure to back up your data before making significant changes to your system settings.

How do I install GNOME extensions?

To install GNOME extensions, you can visit the GNOME Extensions website at extensions.gnome.org and search for the desired extension. Once you find the extension, click on the "Toggle Switch" to enable it, and then follow the prompts to install and enable the extension.

Can I customize the appearance of the dock?

Yes, you can customize the appearance of the dock using the Dash to Dock extension. After installing the extension, open its settings and navigate to the "Appearance" tab. Here, you can adjust settings such as icon size, transparency, and position.

How can I reset the dock to its default settings?

If you want to reset the dock to its default settings, you can disable or remove any installed dock-related extensions. Additionally, you can reset the dconf settings for the dock by using the command gsettings reset org.gnome.shell.extensions.dash-to-dock. This will revert the dock settings back to their default values.

Can I hide the dock temporarily without changing any settings?

Yes, you can temporarily hide the dock without changing any settings by pressing the Super key (Windows key) on your keyboard. This will toggle the visibility of the dock. Pressing the Super key again will make the dock reappear.

Is it possible to auto-hide the dock only on specific workspaces?

Currently, the Dash to Dock extension does not provide the option to auto-hide the dock only on specific workspaces. The auto-hide functionality applies to all workspaces. However, you can use other methods, such as using the dconf Editor or gsettings commands, to manually toggle the visibility of the dock on specific workspaces.

Leave a Comment

Your email address will not be published. Required fields are marked *