5 migliori estensioni della shell GNOME per il tuo desktop Linux
Ecco le nostre estensioni GNOME Shell consigliate per la migliore esperienza desktop.
Per impostazione predefinita, GNOME Shell ha una serie di funzionalità determinate dagli sviluppatori. Tuttavia, con l'aggiunta delle estensioni della shell GNOME, è possibile andare oltre il set di funzionalità predefinite.
Correlato: Come installare le estensioni della shell GNOME in modo semplice e rapido
Come suggerisce il nome, le estensioni GNOME Shell estendono le funzionalità del desktop GNOME Shell. Permettono di personalizzare l'interfaccia GNOME Shell predefinita e le sue parti, come la gestione delle finestre e l'avvio delle applicazioni. Puoi pensare alle estensioni come componenti aggiuntivi del browser che eseguono un'attività specifica.
Correlato: 10 temi di icone migliori e più popolari per Linux
Ecco il nostro elenco delle cinque migliori estensioni della shell GNOME. Diamo un’occhiata a loro.
1. Corri al molo
Dash to Dock è un dock migliorato per la shell GNOME. Questa estensione sposta il Dash fuori dalla panoramica trasformandolo in un dock per un avvio più semplice delle applicazioni e un passaggio più rapido tra finestre e aree di lavoro senza abbandonare la visualizzazione del desktop.
In altre parole, invece di dover prima aprire il Dash, i lanciatori di applicazioni preferiti che hai aggiunto al Dash sono sempre pronti.
Inoltre, Dash to Dock supporta l'autohide, l'intelligence hide e una modalità fissa. Inoltre, l'ultima versione di Dash to Dock (v70) introduce il supporto per GNOME Shell 40.
2. Icone nel vassoio: ricaricate
Per impostazione predefinita, GNOME Shell non mostra le app con le icone nella barra delle applicazioni del pannello superiore. Ciò potrebbe ridurre significativamente la produttività. Tray Icons Reloaded è un'estensione della shell GNOME che riporta le icone della barra delle applicazioni nel pannello superiore con funzionalità aggiuntive.
3. Icone del desktop NG (DING)
La capacità di riempire lo sfondo del desktop con molti file e cartelle è parte integrante dell'utilizzo di un computer per molti di noi. È una caratteristica che accomuna la maggior parte dei principali sistemi operativi. Sfortunatamente, gli utenti del desktop GNOME hanno deciso di andare in un'altra direzione.
Comprensibilmente, la disabilitazione delle icone del desktop nell'ambiente desktop GNOME Shell 3.28 ha creato qualche contraccolpo all'interno della comunità da parte degli utenti. Fortunatamente, è risolvibile.
Desktop Icons NG è un'estensione che riporta le icone del desktop nella shell GNOME. È un fork dell'estensione originale Desktop Icons, con diversi miglioramenti.
4. Selettore dispositivo di ingresso e uscita audio
Gli utenti devono cambiare manualmente l'uscita audio su Linux, il che a volte è noioso. Fino ad allora, l'audio continuerà a essere riprodotto dallo stesso dispositivo. Ciò può creare confusione per i nuovi utenti Linux che non hanno mai dovuto farlo manualmente sul loro sistema operativo precedente.
Il selettore dei dispositivi di ingresso e uscita audio è un semplice selettore per abilitare la selezione delle sorgenti sonore. Ora, quando colleghi un dispositivo audio al tuo PC, dovresti essere in grado di selezionarlo direttamente dal menu di sistema GNOME.
5. Nascondi la barra superiore
Ritieni che la barra superiore di GNOME sia sempre d'intralcio e preferiresti che le tue app occupassero l'intero schermo.
L'estensione Nascondi barra superiore aiuta a nascondere la barra superiore di GNOME quando ti intralcia. È utile per laptop o netbook Linux con schermi di piccole dimensioni.
L'utente può specificare diversi comportamenti nelle preferenze dell'estensione: scoprire al passaggio del mouse, premendo una scorciatoia da tastiera o quando nessuna finestra richiede spazio.
Linea di fondo
Come puoi vedere, gli sviluppatori di GNOME hanno creato un metodo incredibilmente semplice per aggiungere diverse funzionalità al desktop. Alcune di queste funzionalità aiutano a personalizzare l'aspetto di GNOME, mentre altre consentono all'utente di essere più produttivo.
Ci auguriamo che queste eccellenti estensioni ti aiutino a riscoprire la tua passione per il desktop GNOME. Allora, qual è la tua estensione GNOME preferita? Fatecelo sapere nei commenti qui sotto.