Pages : 1
#1 Le 14/05/2016, à 15:57
- srk31
extension pour redémarrer gnome shell
salut tous le monde,
le titre est explicite je pense, il y' avait une extension avant pour redémarrer le shell sur gnome sans les fameuses touches magiques ( alt+f2+r ) et c'était pratique.
en cherchant j'ai trouvé ces deux la : tinkerer@joebodo , gnome-shell-extension-restart-entry, seulement elle ne sont pas compatible avec le 3.18 ( la seconde ne s'affiche même dans gnome tweak ).
comme je suis pas vraiment fort en bash, je viens sollicité votre aide pour les rendre compatible avec la version 3.18 ou pour m’indiquer une autre si vous ont connaissaient une.
merci à tous.
Dernière modification par srk31 (Le 14/05/2016, à 17:32)
Hors ligne
#2 Le 17/05/2016, à 13:42
- srk31
Re : extension pour redémarrer gnome shell
alors quoi personne?
aller quoi un effort
Hors ligne
#3 Le 17/05/2016, à 13:54
- cqfd93
Re : extension pour redémarrer gnome shell
Bonjour,
Y'a plus qu'à espérer que chersrk31 va passer…
− cqfd93 −
Hors ligne
#4 Le 19/05/2016, à 01:13
- srk31
Re : extension pour redémarrer gnome shell
oooooh je pense que si il savait il serait déjà passé
merci tout de même
Hors ligne
#5 Le 02/06/2016, à 21:46
- Mqnu
Re : extension pour redémarrer gnome shell
Salut,
<Alt> + <f2> doit faire apparaitre une message box, en tapant <r> et Entrée, gnome shell va redémarrer normalement.
Hors ligne
#6 Le 04/06/2016, à 14:19
- srk31
Re : extension pour redémarrer gnome shell
slt, oui je connais...,
c'était pour l'automatiser et éviter le clavier.
a défaut peut-on criée un script en python qui réalise ce travail ?
merci
Hors ligne
Pages : 1