---
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.
