Je voudrais implémenter un raccourci clavier pour redémarrer gnome-shell chaque fois que celui-ci se bloque ( certains bugs ne sont pas encore corrigés). Pour cela, il me faudrait une ligne de commande pour redémarrer le shell.
Les commandes Alt+ F2et restart
ne fonctionneront pas lorsque le shell sera écrasé car l'invite est implémentée dans le shell.
Par conséquent, comment redémarrer le gnome-shell en ligne de commande?
command-line
gnome-shell
Benjamin
la source
la source
restart
arrêtera tous les programmes en cours d'exécution. (Je ne sais toujours pas comment redémarrer l'interface graphique sans arrêter les programmes.)Réponses:
La commande pour remplacer le gnome-shell serait
gnome-shell --replace
.De la page de manuel de
gnome-shell
:la source
--replace
= "redémarrer".ALT+f2
(afficher l'invite de commande) +gnome-shell --replace
fonctionnera bien en 18.04. Tous les programmes en cours ne seront pas arrêtés.gnome-shell --replace &
gnome-shell --replace
sur ma machine Ubuntu 19.10, la plupart des applications en cours d'exécution se sont fermées et gnome-shell est entré dans un état problématique avec un écran blanc et une invite à redémarrer l'ordinateur.Le moyen le plus simple est de Alt+ F2et tapez
r
ensuite ↵.la source
Vous pouvez aussi faire un
killall -3 gnome-shell
.la source
gnome-shell --replace &
avant. Cela a fonctionné mais a continué à fonctionner dans le terminal. Le problème que je rencontrais était avec les vidéos Youtube en plein écran, ce qui entraînait le blocage de Dash-to-Dock et du panneau. github.com/micheleg/dash-to-dock/issues/…La commande devrait juste être
gnome-shell --replace
.la source
Au cas où le tout
gnome-shell
serait gelé, il existe un moyen de le redémarrer à partir du terminal sans avoir à redémarrer toute la fenêtre X:DISPLAY=:0 gnome-shell -r &
exit
etla source
Je suis venu avec cette fonction pour déconnecter les utilisateurs (voir en bas)
Il suppose
Vous pouvez lui donner plusieurs noms d'utilisateurs:
Et vous pouvez lui donner des options supplémentaires:
Donc, j'ai la fonction d'assistance suivante:
Remarques:
CODE
la source
J'ai défini un alias:
alias gnomeshellrestart='echo "gnome-shell --replace -d" $(w| grep "$USER"| awk "{print \$3}"|grep ":"|head -1)| at now'
Vous pourrez peut-être démarrer un terminal en cliquant avec le bouton droit de la souris sur l'arrière-plan et en tapant à cet endroit (alt-tab est alors dysfonctionnel également). Sinon, connectez-vous à un terminal avec, par exemple, ctrl-alt-F2 et exécutez-le à partir de là.
la source