Gnome-shell-extention ?!

[pierrotlalune]

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

[nouvo09]

cool merci