Added gnome shell notes to the knowledge base

2026-02-09 05:44:23 +00:00 · 2022-04-20 20:57:07 +02:00
parent d8b8e18cf3
commit d07696fd40
1 changed files with 8 additions and 0 deletions
--- a/base/gnome
+++ b/base/gnome
@@ -0,0 +1,8 @@
+# Gnome shell
+
+## Restart while running
+
+This helps reloading extensions.
+
+1. press `Alt + F2`
+2. insert `r` and press `Enter`