web-dev-qa-db-fra.com

Ordre des extensions / indicateurs dans gnome 3

Est-il possible de définir l'ordre dans lequel les extensions/indicateurs apparaissent dans le panneau supérieur de gnome 3, car ils semblent changer de position chaque fois que je me connecte et que je souhaite définir un ordre spécifique.

3
Martin Croft

TL; DR Le chemin est un peu compliqué:

Vous pouvez recharger et ainsi influencer l'ordre des extensions.

Utilisez cette commande et remplacez <Extension_UUID> par le UUID de l'extension, ne pas utilisez le ID:

gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method <Extension_UUID>

Mais j’ai constaté que l’extension devait parfois être rechargée deux fois pour obtenir un effet.


Exemple:

Mes extensions système:

% ls -og  /usr/share/gnome-Shell/extensions
total 4
drwxr-xr-x 2 4096 Mär 31 15:15 [email protected]

Mes extensions par utilisateur:

% ls -og ~/.local/share/gnome-Shell/extensions/
total 16
drwxrwxr-x 3 4096 Mär 26 08:01 [email protected]
drwxrwxr-x 3 4096 Mär 26 08:02 [email protected]
drwxrwxr-x 4 4096 Mär 26 07:56 [email protected]
drwxrwxr-x 3 4096 Mär 26 07:57 [email protected]

L'ID d'extension doit être le nom du dossier, par exemple. [email protected].

Pour être sûr, je prendrais la UUID du fichier de métadonnées:

% less ~/.local/share/gnome-Shell/extensions/[email protected]/metadata.json
{
  "_generated": "Generated by SweetTooth, do not edit", 
  "description": "A status menu for accessing and unmounting removable devices.", 
  "extension-id": "drive-menu", 
  "gettext-domain": "gnome-Shell-extensions", 
  "name": "Removable Drive Menu", 
  "settings-schema": "org.gnome.Shell.extensions.drive-menu", 
  "Shell-version": [
    "3.16"
  ], 
  "url": "http://git.gnome.org/gnome-Shell-extensions", 
  "uuid": "[email protected]", 
  "version": 28
}

C'est donc la commande pour recharger l'extension

gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method org.gnome.Shell.Extensions.ReloadExtension "[email protected]"

L'UUID peut être déterminé de manière fiable avec les commandes suivantes:

Installez un analyseur JSON:

Sudo apt-get install jq

Déterminez l'UUID avec:

jq '.uuid' ~/.local/share/gnome-Shell/extensions/<Shell_extension_path>/metadata.json

Exemple:

% jq '.uuid' ~/.local/share/gnome-Shell/extensions/[email protected]/metadata.json
"[email protected]"

Ou tout en un:

gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method org.gnome.Shell.Extensions.ReloadExtension  $(jq '.uuid' ~/.local/share/gnome-Shell/extensions/[email protected]/metadata.json)

Une autre excellente solution est cette réponse .

3
A.B.