# Gnome shell

## Restart while running

This helps reloading extensions.

1. press `Alt + F2`
1. insert `r` and press `Enter`