È arrivato Extension Manager 0.7 per GNOME: interfaccia ottimizzata e nuove funzioni (aggiornato: 10 novembre 2026, ore 08:41)

Chi personalizza GNOME a colpi di estensioni conosce bene la routine: cercare, installare, aggiornare, disattivare quella che dopo l'ultimo aggiornamento di GNOME Shell ha smesso di funzionare. Extension Manager, l'applicazione desktop scritta in GTK4 e libadwaita che raccoglie tutte queste operazioni in un'unica finestra, arriva alla versione 0.7. Le novità sono parecchie: una scheda dettagli ridisegnata, l'integrazione con la ricerca della panoramica di GNOME Shell, la gestione di più estensioni in contemporanea e il ritorno del filtro per le estensioni non supportate, sparito per una regressione.

Una sola schermata per estensione installata e scheda online

Il cambiamento più visibile riguarda la vista dettagli, completamente ridisegnata. Le informazioni sull'estensione installata in locale e quelle della sua pagina online confluiscono ora in un'unica interfaccia, senza dover saltare da una sezione all'altra. Le schede, inoltre, riportano più informazioni di contorno rispetto al passato.

Anche la compatibilità diventa più leggibile: le versioni di GNOME Shell supportate da ciascuna estensione, compresa quella installata sul sistema, compaiono in una finestra di dialogo dedicata. Una seconda finestra mostra invece gli errori dell'estensione, una comodità concreta quando qualcosa smette di funzionare e si vuole capire il perché senza frugare nei log.

Per chi preferisce mettere le mani sui file, Extension Manager ora può aprire la cartella di un'estensione direttamente in File (Nautilus) oppure copiare il percorso delle estensioni installate a livello di sistema. Chiude il capitolo estetico il supporto alle GIF animate tra gli screenshot della scheda dettagli, gestite tramite Glycin, la libreria di caricamento immagini adottata dall'ecosistema GNOME.

Le estensioni si cercano dalla panoramica di GNOME

Una novità molto comoda per l'uso quotidiano è l'integrazione con la ricerca della panoramica di GNOME Shell. In pratica, basta digitare il nome di un'estensione installata nella panoramica Attività per trovarla, senza aprire prima Extension Manager.

Arriva poi una modalità di selezione multipla: le estensioni installate si possono gestire in gruppo, mentre finora andavano trattate una per una. Chi ne tiene attive una ventina apprezzerà.

Torna il filtro per le estensioni non supportate

Sul fronte delle correzioni, spicca il ritorno dell'opzione per filtrare le estensioni non supportate. La funzione si era rotta per una regressione legata alla migrazione delle API di extensions.gnome.org, il sito ufficiale delle estensioni da cui Extension Manager attinge il catalogo

Il resto del lavoro è sotto il cofano. L'applicazione ora rileva quando GNOME Shell non è in esecuzione, e sono stati corretti diversi crash, tra cui alcuni problemi di tipo use-after-free nelle callback asincrone, insieme a vari memory leak. Si tratta del genere di bug che si manifesta in modo poco prevedibile, e che rende un programma inaffidabile più di qualunque funzione mancante.

Accessibilità, traduzioni e dove scaricarlo

La versione 0.7 porta anche miglioramenti all'accessibilità e componenti di piattaforma aggiornati. Le traduzioni crescono di otto lingue, mentre quelle esistenti, italiano compreso, sono state aggiornate.

Extension Manager si installa da Flathub, il canale di distribuzione indicato dal progetto, mentre il changelog completo è pubblicato su GitHub

» Leggi: [LINUX] Guida completa a Flatpak

Fonti: omgubuntu.co.uk, linuxconsultant.org, linuxiac.com