diff --git a/docs/gnome.md b/docs/gnome.md new file mode 100644 index 00000000..88a913cd --- /dev/null +++ b/docs/gnome.md @@ -0,0 +1,22 @@ +--- +layout: default +title: Gnome +permalink: /gnome +description: "Gnome tips and tricks" +--- + +# Gnome stuff + + +## How to hide the menu bar + +```bash +sudo apt install gnome-shell-extension-manager +sudo apt install gnome-shell-extensions +``` + +Then you launch the gnome-shell-extension-manager. + +Then search for "hide top" and you should find: `Hide Top Bar` + +Install it.