Lorsque je modifie des extensions ou installe des applications, j'ai parfois trouvé nécessaire de redémarrer le shell GNOME pour que les modifications prennent effet. Dans le passé, en appuyant sur Alt + F2, en tapant «r» et en appuyant sur Entrée, cela se produisait. Cependant, cela ne semble pas...