Non sei soddisfatto della funzionalità predefinita di GNOME? Ecco 5 delle migliori estensioni di GNOME Shell per far brillare il tuo desktop Linux.
Per impostazione predefinita, GNOME Shell ha una serie di funzionalità determinate dagli sviluppatori. Tuttavia, con l'aggiunta delle estensioni GNOME Shell, è possibile andare oltre il set di funzionalità predefinito.
Come suggerisce il nome, le estensioni GNOME Shell estendono le funzionalità del desktop GNOME Shell . Consentono 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.
Ecco la nostra lista delle 5 migliori estensioni di GNOME Shell. Diamo un'occhiata a loro.
1. Scatta all'ancora
Dash to Dock è un dock avanzato per GNOME Shell. 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 uscire dalla visualizzazione 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 autohide e intellihide modalità e una modalità fissa . Inoltre, l'ultima versione di Dash to Dock (v70) introduce il supporto per GNOME Shell 40.
Scarica Dash to Dock2. Icone della barra delle applicazioni:ricaricate
Per impostazione predefinita, GNOME Shell non mostra le app con icone nella barra delle applicazioni nella barra delle applicazioni del pannello superiore. Ciò potrebbe ridurre notevolmente la tua produttività. Tray Icons Reloaded è un'estensione della shell di GNOME che riporta le icone del vassoio nel pannello superiore , con funzionalità aggiuntive.
Scarica icone vassoio:ricaricato3. Icone del desktop NG (DING)
La possibilità di intonacare lo sfondo del desktop con una quantità di 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, la gente del desktop GNOME ha deciso di andare in un'altra direzione.
Comprensibilmente, la disabilitazione delle icone del desktop nell'ambiente desktop GNOME Shell 3.28 ha creato un contraccolpo all'interno della comunità da parte degli utenti. Fortunatamente è risolvibile.
Desktop Icons NG è un'estensione che riporta le icone del desktop nella shell di GNOME. È un fork dell'estensione Desktop Icons originale, con diversi miglioramenti.
Scarica le icone del desktop NG4. Selettore dispositivo di ingresso e uscita audio
Su Linux, gli utenti devono cambiare manualmente l'uscita audio, il che a volte è noioso. Fino ad allora l'audio continua a essere riprodotto dallo stesso dispositivo. Per i nuovi utenti Linux che non hanno mai dovuto farlo manualmente sul loro sistema operativo precedente, questo può davvero creare confusione.
Scelta dispositivo di ingresso e uscita audio è un semplice selettore per abilitare la selezione della sorgente sonora. Ora quando colleghi un dispositivo audio al tuo PC dovresti essere in grado di selezionarlo direttamente dal menu di sistema di GNOME.
Scarica Selettore dispositivo di ingresso e uscita audio5. Nascondi barra superiore
Ritieni che la barra in alto 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 si intromette. È molto utile per laptop o netbook Linux con dimensioni dello schermo ridotte.
Nelle preferenze dell'estensione è possibile specificare diversi comportamenti:mostrarsi al passaggio del mouse o premendo una scorciatoia da tastiera o quando nessuna finestra richiede spazio.
Scarica Nascondi barra superioreLinea inferiore
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 grafico di GNOME, mentre altre aiutano l'utente a essere più produttivo.
Ci auguriamo che queste fantastiche 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.