O equivalente a reiniciar o Explorer.exe no GNOME seria se você pressionasse.
Alt + (o que significa ao mesmo tempo) F2 Agora você vai ter uma caixa que parece com isso sem nada.
Digite r
e pressione digite
Se isso não funcionar, abra um terminal ou um tty diferente e digite gnome-shell --replace
Se você precisar reiniciar o GDM, que o desconectaria de sua conta, o comando seria systemctl restart gdm.service