Page 1 sur 1

Gnome-shell-extention ?!

Publié : 01 mars 2019, 18:30
par 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

Re: Gnome-shell-extention ?!

Publié : 01 mars 2019, 19:40
par nouvo09
cool merci