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.
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)