Cela fonctionne dans Gnome 3.8.4, et devrait fonctionner dans les versions ultérieures.
Définissez toutes les extensions que vous souhaitez utiliser. Puis lancez:
gsettings get org.gnome.shell enabled-extensions
Cela devrait arriver avec quelque chose comme
$ gsettings get org.gnome.shell enabled-extensions
['user-theme@gnome-shell-extensions.gcampax.github.com', 'status-area-horizontal-spacing@mathematical.coffee.gmail.com', 'CoverflowAltTab@palatis.blogspot.com']
Copiez la sortie, puis exécutez gnome-session-properties
Appuyez sur ajouter, puis entrez le résultat de gsettings get org.gnome.shell enabled-extensions "['use... ...blogspot.com']"
- Cependant, comme cela a été gentiment souligné, changez get
pour set
lors de la saisie dans la boîte de commande, comme dans l'image ci-dessous. METTRE LES DOUBLES CITATIONS, sinon cela ne fonctionnera pas (en cas de doute, testez d'abord la commande dans le terminal - si aucun retour n'est donné, cela a fonctionné).
EDIT: Pour les versions plus récentes sans gnome-session-properties
, vous aurez probablement besoin de créer manuellement un fichier .desktop~/.config/autostart
- certains outils de l’interface graphique peuvent être disponibles via Gnome Tweak Tool ou similaire.
Par exemple:
Ensuite, assurez-vous que c'est sur:
Maintenant, chaque fois que vous vous connectez, il devrait exécuter une commande pour restaurer toutes les extensions!
NB: Si vous apportez des modifications à vos extensions activées, vous devrez les mettre à jour.
Pour automatiser ce processus, ce script semble fonctionner:
#!/bin/bash
active_extensions=$(gsettings get org.gnome.shell enabled-extensions)
autostart_file=$HOME/.config/autostart/restore-extensions.desktop
echo -e "Currently active extensions:\n\e[34m$active_extensions\e[0m"
echo -e "[Desktop Entry]\nType=Application" > $autostart_file
echo Exec=gsettings set org.gnome.shell enabled-extensions \"$active_extensions\" >> $autostart_file
echo -e "Hidden=false\nNoDisplay=false\nX-GNOME-Autostart-enabled=true\nName=Restore Extensions\nComment=Restore enabled extensions on login" >> $autostart_file
echo "Command to restore currently active extensions added to $HOME/.config/autostart/restore-extensions.desktop"
exit
Enregistrez le script dans ~/.local/bin/extension-update
, rendez-le exécutable (définissez-le dans la fenêtre Propriétés du fichier ou exécutez-le chmod +x ~/.local/bin/extension-update
) .
Ensuite, chaque fois que vous exécuterez extension-update
, il mettra à jour un fichier de démarrage automatique à ~/.config/autostart/restore-extensions.desktop
(il sera probablement différent d'une entrée de démarrage automatique si vous en avez créé un manuellement, comme ci-dessus. Par conséquent, si vous en avez créé un manuellement, vous souhaiterez peut-être supprimer ce fichier ) - vous pouvez vous connecter gnome-session-properties
à assure-toi.