Funziona con Gnome 3.8.4 e dovrebbe funzionare con le versioni successive.
Imposta tutte le estensioni che desideri attivare. Quindi eseguire:
gsettings get org.gnome.shell enabled-extensions
Questo dovrebbe venire fuori con qualcosa del genere
$ 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']
Copia l'output, quindi esegui gnome-session-properties
Premere aggiungi, quindi immettere l'output di gsettings get org.gnome.shell enabled-extensions "['use... ...blogspot.com']"- Tuttavia, come è stato gentilmente sottolineato, passare geta setquando si accede alla finestra di comando, come nell'immagine seguente. Metti i doppi preventivi, altrimenti non funzionerà (se non sei sicuro, prova prima il comando nel terminale - se non viene fornito alcun feedback, ha funzionato).
EDIT: per le versioni più recenti senza gnome-session-properties, probabilmente dovrai creare manualmente un file .desktop in ~/.config/autostart- alcuni strumenti della GUI potrebbero essere disponibili tramite Gnome Tweak Tool o simili.
Per esempio:
Quindi assicurati che sia attivo:
Ora, ogni volta che accedi, dovrebbe eseguire un comando per ripristinare tutte le estensioni!
NB Se si apportano modifiche alle estensioni attivate, questo dovrebbe essere aggiornato.
Per automatizzare questo processo, questo script sembra funzionare:
#!/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
Salvare lo script in ~/.local/bin/extension-update, renderlo eseguibile (impostarlo nella finestra Proprietà del file o eseguirlo chmod +x ~/.local/bin/extension-update) .
Quindi ogni volta extension-updateche eseguirai, aggiornerà un file di avvio automatico su ~/.config/autostart/restore-extensions.desktop (probabilmente sarà diversa una voce di avvio automatico diversa se ne hai creata una manualmente come sopra, quindi se ne hai creata una manualmente potresti voler eliminarla) - puoi fare il check-in gnome-session-propertiesin assicurarsi.