Le estensioni della shell di Gnome sono disabilitate dopo il riavvio

Sto eseguendo Ubuntu 14.10 con Gnome 3.14 dal PPA di Gnome 3. Ho avuto il problema persistente per circa un anno, quando ogni volta che esco perdo tutte le mie estensioni abilitate, tranne Media Player. In precedenza sono riuscito a aggirare il problema abilitando ciascuna delle estensioni all'avvio utilizzando "gnome-session-manager", ma questo è ora scomparso da Gnome 3.14 poiché è stato sostituito dalle opzioni del tasto destro del mouse sul trattino. Ho anche provato a impostare la mia sessione di avvio come "sessione predefinita" che ha funzionato per alcune persone come soluzione.

Ora non sembra esserci alcun problema per questo problema molto fastidioso e persistente con Gnome. È stato un problema in agguato per almeno un anno con molti utenti interessati e nient'altro che il carico all'avvio in offerta. Il modo in cui un tale insetto cronico può rimanere seduto per oltre un anno è francamente al di là di me.

Qualcuno ha qualche nuova idea per una soluzione più permanente a questo bug di Gnome?

Stefano

Ecco una soluzione alternativa nello spirito di questa risposta . Questo funziona almeno per 3.12. L'idea è di esportare un elenco delle estensioni che si desidera attivare, quindi scrivere uno script che le attivi all'avvio.

Ottenere l'elenco delle estensioni

Innanzitutto, attiva le estensioni che desideri siano attive. Quindi generiamo un elenco con quelli:

Nel terminale ( Ctrl + Alt + T), eseguire

gsettings get org.gnome.shell enabled-extensions

Restituisce alla lista un elenco con le estensioni attualmente attive

['Bottom_Panel@rmy.pobox.com', 'impatience@gfxmonk.net']

Impostazione delle estensioni

Per attivare esattamente le estensioni nell'elenco, esegui

gsettings set org.gnome.shell enabled-extensions ['extension_1',  'extension_2', 'extension_3']

ma con la tua lista, naturalmente :)

Script per impostare le estensioni all'avvio

Per automatizzare all'avvio, creare uno script che esegue quel comando.

1. Vai ad esempio alla tua cartella home e crea un nuovo file vuoto. Nome script_name.sh(solo l'estensione è importante). Avviare il nome del file con un punto, .se si desidera che sia nascosto.

2. In quel file, scrivi

#!/bin/bash

gsettings set org.gnome.shell enabled-extensions ['extension_1',  'extension_2', 'extension_3']

Quindi salva il file, ovviamente :)

3. Rendere il file eseguibile, ad esempio right click > Properties > Permissions > Check "Allow executing file as program" , in alternativa, modificare le autorizzazioni dal terminale eseguendo chmod ugo+x script_name.shnella cartella dello script.

4. Fallo all'avvio del sistema (non so come fare diversamente ): ~/.config/autostart/crea un file chiamato some_name2.desktope inseriscilo

[Desktop Entry]
Name=your_prefered_name_here
Exec=/home/your_user_name/.script_name.sh
# Terminal=false
Type=Application
Hidden=false
StartupNotify=false
Name[en_US]=your_prefered_name_here

Il percorso successivo Exec=dovrebbe essere quello in cui si trova lo script creato nel passaggio 2. Ancora una volta, salva il file :)

Forse subito dopo l'avvio, dovresti vedere lo script in Gnome Tweak Tool in Applicazioni di avvio. Dovrebbe anche essere eseguito all'avvio.

Attivazione e disattivazione delle estensioni

Se si desidera modificare le estensioni da eseguire, è necessario rigenerare l'elenco, quindi inserire il nuovo elenco nell'esecuzione dello script.

Parole finali

Spero che funzioni anche in 3.14.

Questo ha funzionato per me:

1. Esegui nel terminale: rm -rd ~/.cache
2. Riavvio del sistema
3. Riattiva le tue estensioni (dovrebbe persistere tra i riavvii ora)

Ho avuto lo stesso identico problema, eseguendo Ubuntu 14.10 con GNOME 3.14 dai PPA GNOME 3. Quindi ho provato questa soluzione , ma la vera sfida per me era trovare l'impostazione da selezionare System Defaultanziché GNOMEnella schermata di login di Ubuntu GNOME

Inoltre a causa dell'estensione Topicons , altre estensioni non sono ancora attivate al momento dell'accesso.

Questo problema non si applica ai nuovi account utente, il che suggerisce che è un problema causato dai file delle impostazioni di Gnome conservati dalle versioni precedenti aggiornate di Gnome Shell.

Esaminerò il ripristino delle impostazioni dell'account.

Ho provato a ripristinare tutti i dettagli dell'account utente Gnome per il mio utente principale. Questo non ha funzionato, quindi non è specifico dell'account.