Digitar Alt F2 r faz a mesma coisa que abrir um terminal e executar gnome-shell --replace & ?
gnome-shell --replace &
Especificamente, eles executam o mesmo código "nos bastidores"?