Installation locale d’une extension gnome-shell

Les extensions gnome-shell permettent de personnaliser son bureau mais elles ne sont pas forcément à jour dans les paquets Debian.

On peut installer une extension localement

Habituellement la méthode graphique par le site des extensions gnome est la plus facile.

https://extensions.gnome.org/

Méthode en ligne de commande

Outil nécessaire à installer: git

sudo apt install git

Exemple l’extension pixel-saver

Vérifier que l’extension n’est pas déjà présente dans le dossier, si oui supprimer l’extension

~/.local/share/gnome-shell/extensions 

Cloner le code de l’extension et verifier que la version est compatible avec celle de gnome-shell

git clone https://github.com/deadalnix/pixel-saver.git

git checkout tags/1.24

HEAD est maintenant sur 7a60211 Add GNOME 3.36/3.38 support to metadata.json

Installer l’extension

cd pixel-saver

cp -r pixel-saver@deadalnix.me -t ~/.local/share/gnome-shell/extensions

Redémarrer gnome-shell

Ouvrir une fenêtre de commande par appui sur les touche alt et f2

dans la fenêtre lancer la commande r

ls -rt ~/.local/share/gnome-shell/extensions
nohotcorner@azuri.free.fr openweather-extension@jenslody.de sensory-perception@HarlemSquirrel.github.io
lockkeys@vaina.lt window-list@gnome-shell-extensions.gcampax.github.com pixel-saver@deadalnix.me

Activer l’extension

gnome-extensions enable pixel-saver@deadalnix.me

Vérifier l’état

gnome-extensions show pixel-saver@deadalnix.me
pixel-saver@deadalnix.me
Nom: Pixel Saver
Description: Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way
Chemin: /home/guy/.local/share/gnome-shell/extensions/pixel-saver@deadalnix.me
URL: https://github.com/deadalnix/pixel-saver
État: ENABLED

Liste des commandes possible

gnome-extensions COMMANDE [PARAMÈTRES…]

Commandes :

help Afficher l’aide

version Afficher la version

enable Activer l’extension

disable Désactiver l’extension

reset Réinitialiser l’extension

uninstall Désinstaller l’extension

list Afficher la liste des extensions

info Afficher les infos de l’extension

show Afficher les infos de l’extension

prefs Ouvrir les préférences de l’extension

create Créer une extension

pack Mettre en paquet l’extension

install Installer l’extension empaquetée

gnome-extensions list --enabled
openweather-extension@jenslody.de
lockkeys@vaina.lt
sensory-perception@HarlemSquirrel.github.io
apps-menu@gnome-shell-extensions.gcampax.github.com
horizontal-workspaces@gnome-shell-extensions.gcampax.github.com
native-window-placement@gnome-shell-extensions.gcampax.github.com
window-list@gnome-shell-extensions.gcampax.github.com

Outil graphique

gnome-shell-extension-prefs
gnome-shell-extension-prefs is deprecated

Install https://flathub.org/apps/details/org.gnome.Extensions for extension
management, or use the gnome-extensions command line tool.

Extensions can use the ExtensionUtils.openPrefs() method.

Bien que déprécié il fonctionne toujours sur la version 3.38.6

Version 41

$ gnome-shell-extension-prefs
The gnome-shell-extension-prefs program is deprecated.

Run gnome-extensions-app (from the gnome-shell-extension-prefs package)
for extension management, or use the gnome-extensions command line tool.

Extensions can use the ExtensionUtils.openPrefs() method.

$ gnome-extensions-app
gnome-extensions-app

Cas d’erreur État: OUT OF DATE

Dans le cas d’un changement de version de gnome-shell , l’extension peut passer dans l’état outdated

Modification simple

Dans le fichier metadata.json de l’extension dans le dossier local ~/.local/share/gnome-shell/extensions/

Modifier le paramètre:

"shell-version": [
    "41"
  ],

Incrementer le parametre

"version": 107

Généralement le reste du code est compatible et en réactivant gnome ça passe.

Réactiver gnome-shell

alt+f2

r

Exemple

gnome-extensions show  openweather-extension@jenslody.de

 URL: https://gitlab.com/jenslody/gnome-shell-extension-openweather
  Version: 107
  État: ENABLED


Publié le
Classé dans Debian Marqué

Par Bidouille De Bian

Bidouilleur sur Linux Debian 10 (Buster). Débutant dans le blog sur Wordpress.