Gnome-shell-extention ?!

Avatar de l’utilisateur
pierrotlalune
Messages : 17
Inscription : 27 septembre 2018, 17:30
Localisation : Estal

Gnome-shell-extention ?!

Message par pierrotlalune » 01 mars 2019, 18:30

Bonjour à tous,
depuis que "gnome-tweak-tool" est devenu "gnome-tweaks", je ne vois plus la fonction qui permettait d'installer des shells à partir de fichier. J'utilse la version suivante:

Code : Tout sélectionner

$ cat /etc/redhat-release
CentOS Linux release 7.6.1810 (Core) 
$ 
Il faut alors passer par https://extensions.gnome.org/. Or, même avec l’extension de Firefox: "Intégration à GNOME Shell", ce dernier n'est pas fonctionnel, pour un problème de "connecteur". Pour résoudre cela, je me suis inspiré de ce post:https://www.centos.org/forums/viewtopic.php?t=67890.
Voici le détail de la procédure:
1/ En tant que root:

Code : Tout sélectionner

# yum install epel-release
# yum install git cmake coreutils pygobject2 python-requests jq
2/ Puis en tant que user:

Code : Tout sélectionner

git clone https://gitlab.gnome.org/GNOME/chrome-gnome-shell.git
cd chrome-gnome-shell/
mkdir build
cd build
cmake -DCMAKE_INSTALL_PREFIX=/usr -DBUILD_EXTENSION=OFF ../
su
make install
exit
Cela fait, il est maintenant possible de manager ses "gnome-shell" depuis le site référencé plus haut.
En espérant que cela sera utile à certains.
Bien amicalement.
pll

Avatar de l’utilisateur
nouvo09
Messages : 1960
Inscription : 20 octobre 2009, 08:14
Localisation : Paris, France

Re: Gnome-shell-extention ?!

Message par nouvo09 » 01 mars 2019, 19:40

cool merci
C'est pas parce que c'est difficile qu'on ose pas,
c'est parce qu'on ose pas que c'est difficile !

Répondre