add gnome docs on how to hide menu bar by default

jessebot · Dec 9, 2022 · ff2a01b · ff2a01b
1 parent 9df8511
commit ff2a01b
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/docs/gnome.md 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.