Desktop GNOME alterato da un'estensione: isolare il problema

Collegare il sintomo a una modifica precisa

Le estensioni GNOME Shell possono modificare pannelli, gestione delle finestre e comportamento del desktop. Se un'anomalia compare subito dopo averne installata o aggiornata una, quella relazione merita una prova. Non dimostra però automaticamente che l'estensione sia l'unica causa.

Questa guida riguarda una sessione GNOME ancora utilizzabile, come quella di Ubuntu Desktop. Non applicare questi comandi a KDE o ad altri desktop. Prima annota il sintomo riproducibile: per esempio un pannello che scompare quando apri una finestra, non semplicemente un'impressione di lentezza.

Preparare il ritorno allo stato precedente

Salva il lavoro e annota quali estensioni sono abilitate. Se usi personalizzazioni indispensabili per accessibilità o navigazione, assicurati di poter operare anche quando l'estensione sospetta è disattivata. Non disabilitare in blocco strumenti dai quali dipendi senza una modalità alternativa.

Apri l'app Estensioni, se disponibile. Distingui il programma ufficiale di gestione dalle singole estensioni e da altri strumenti di personalizzazione. Consulta nome e impostazioni dell'elemento modificato più recentemente, senza rimuoverlo subito. Una disabilitazione permette una prova più facilmente reversibile.

Consultare elenco e stato dal terminale

Il comando gnome-extensions list elenca le estensioni installate. Aggiungendo --enabled ottieni quelle abilitate; con --active puoi osservare quelle effettivamente attive. Si tratta di consultazioni, non di installazioni o modifiche al desktop.

L'identificatore tecnico dell'estensione può assomigliare a un indirizzo, ma non va sostituito con il semplice nome commerciale. Con gnome-extensions info seguito dall'identificatore esatto puoi leggere dettagli e stato. Abilitata e attiva non sono sempre la stessa cosa: un errore può impedire all'estensione di funzionare.

Fare una prova su un solo elemento

Disabilita l'estensione sospetta dall'app Estensioni e ripeti la stessa azione che produceva il difetto. In alternativa, gnome-extensions disable seguito dal suo identificatore esatto modifica lo stato di quella sola estensione. Annota il risultato prima di toccarne un'altra.

Se il problema scompare, hai individuato una relazione utile da approfondire. Se non cambia, puoi ripristinare l'impostazione precedente prima della prova successiva, quando farlo non riproduce un problema grave. Non alternare contemporaneamente tema, driver e più estensioni: renderebbe il confronto poco affidabile.

Compatibilità e aggiornamenti senza forzature

Verifica la compatibilità dichiarata dell'estensione con la versione GNOME della tua sessione e consulta le segnalazioni del suo manutentore. Un aggiornamento del desktop può richiedere una versione diversa dell'estensione. Non disabilitare le verifiche di compatibilità soltanto per costringerla a caricarsi.

Se occorre una nuova sessione per valutare correttamente la modifica, salva prima tutto e usa l'uscita normale dall'account. Non terminare GNOME Shell o il gestore della sessione con comandi forzati. Se il desktop è troppo instabile per operare, fermati: la procedura di recupero va adattata alla situazione.

Domande frequenti

Disabilitare un'estensione elimina anche i documenti?

La disabilitazione non è una cancellazione dei documenti personali. Può però modificare il modo in cui accedi alle finestre: salva il lavoro e prevedi un percorso alternativo prima della prova.

Dopo enable posso considerarla sicuramente funzionante?

No. Il comando di abilitazione non identifica ogni errore interno dell'estensione. Controlla lo stato e ripeti un'azione concreta del desktop prima di considerare conclusa la verifica.