TL; DR O caminho é um pouco complicado:
Você pode recarregar e influenciar a ordem das extensões.
Use este comando e substitua <Extension_UUID> pelo UUID da extensão, não use o ID :
gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method <Extension_UUID>
Mas descobri que às vezes a extensão deve ser recarregada duas vezes para conseguir um efeito.
Exemplo:
Extensões do meu sistema:
% ls -og /usr/share/gnome-shell/extensions
total 4
drwxr-xr-x 2 4096 Mär 31 15:15 [email protected]
Minhas extensões por usuário:
% 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]
O ID da extensão deve ser o nome da pasta, por exemplo. [email protected] .
Para ter certeza, eu pegaria o UUID do arquivo de metadados:
% 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
}
Portanto, este é o comando para recarregar a extensão
gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method org.gnome.Shell.Extensions.ReloadExtension "[email protected]"
O UUID pode ser determinado de forma confiável com os seguintes comandos:
Instale um analisador JSON:
sudo apt-get install jq
Determine o UUID com:
jq '.uuid' ~/.local/share/gnome-shell/extensions/<shell_extension_path>/metadata.json
Exemplo:
% jq '.uuid' ~/.local/share/gnome-shell/extensions/[email protected]/metadata.json
"[email protected]"
Ou tudo em um:
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)