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`