From d07696fd402422285e628b4d3d3e701ded7e03a5 Mon Sep 17 00:00:00 2001
From: Michele Cereda <cereda.michele@gmail.com>
Date: Wed, 20 Apr 2022 20:57:07 +0200
Subject: [PATCH] Added gnome shell notes to the knowledge base

---
 knowledge base/gnome shell.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 knowledge base/gnome shell.md

diff --git a/knowledge base/gnome shell.md b/knowledge base/gnome shell.md
new file mode 100644
index 0000000..89463e9
--- /dev/null
+++ b/knowledge base/gnome shell.md	
@@ -0,0 +1,8 @@
+# Gnome shell
+
+## Restart while running
+
+This helps reloading extensions.
+
+1. press `Alt + F2`
+2. insert `r` and press `Enter`