Installare e gestire le estensioni di Linux GNOME
GNOME è uno dei desktop Linux più popolari. Ubuntu ha il desktop GNOME 3 di default dalla versione 18.04 LTS. Per gli utenti esperti, passare da Unity a GNOME non è un problema. Ma per molti, le estensioni in GNOME sono un po’ confuse all’inizio. Nei nostri tipps+tricks vi mostriamo come installare e gestire le estensioni di GNOME. Vi presentiamo anche alcune estensioni raccomandate.
- Cosa sono le estensioni GNOME?
- Come installare le estensioni GNOME?
- Estensioni GNOME: le nostre 5 migliori
Cosa sono le estensioni GNOME?
Le estensioni GNOME sono sostanzialmente estensioni o componenti aggiuntivi forniti da terzi per il desktop GNOME. Puoi pensare alle estensioni come a piccoli pezzi di codice che possono cambiare il modo in cui funziona GNOME o anche l’interfaccia. Probabilmente siete già entrati in contatto con i componenti aggiuntivi attraverso Firefox o Google Chrome. Per esempio, puoi installare un add-on nel tuo browser per disabilitare gli annunci. Anche questo add-on è sviluppato da una terza parte e migliora le prestazioni del vostro browser. Le estensioni di GNOME non sono in definitiva nient’altro – solo per il desktop.
La cosa pratica delle estensioni di GNOME è che ogni utente può ottimizzare le prestazioni e l’interfaccia del proprio desktop secondo le proprie preferenze. Per esempio, ci sono estensioni per visualizzare il meteo o la velocità di internet, ma anche per personalizzare l’interfaccia del desktop. Un esempio di questo è lo spostamento del pannello in un dock o il posizionamento dell’orologio.
Come si installano le estensioni GNOME?
Ci sono diversi modi per installare le estensioni GNOME. Il metodo più comune e più semplice è attraverso il browser. Poiché il browser Firefox è installato di default in Ubuntu, usiamo anche questo nella nostra guida passo dopo passo. In alternativa, leggete la nostra guida rapida.
Nota: Nella nostra guida usiamo Ubuntu 18.04 LTS, ma i passi funzionano anche per ambienti desktop di altri sistemi Linux che supportano GNOME (ad esempio Debian o Arch Linux).ad esempio Debian o Arch Linux).
×
×
×
×
×
×
×
×
GNOME-Extensions: Unsere Top 5
- Dash to Dock: Ein Dock für die Gnome-Shell. Mit dieser Erweiterung können Sie die Seitenansicht in ein Dock umwandeln. Soprattutto per i fan di macOS, questa funzione è utile. È possibile posizionare il dock sia sul lato che nella parte inferiore del desktop.
- Caffeine: consente di disattivare temporaneamente lo screen saver. Quindi, se stai inviando o scaricando file di grandi dimensioni, è possibile utilizzare questa estensione per impostare lo schermo per non spegnersi automaticamente.
- OpenWeather: Un semplice widget meteo che fa esattamente quello che ci si aspetta. Puoi vedere l’alba e il tramonto e creare diversi luoghi.
- Feed RSS: Un semplice lettore RSS, ad esempio per abbonarsi ai nostri diversi servizi heise.
- NetSpeed: Monitora il download e la velocità di upload.
Guida rapida
- Apri estensioni.gnome.org in Firefox.
- Clicca su “Clicca qui per installare l’estensione del browser”.
- Continua con “Continua l’installazione”.
- Poi vai su “Aggiungi”.
- Öffnen Sie ein Terminal und geben Sie “sudo apt install chrome-gnome-shell” ein.
- Gehen Sie dann erneut auf extensions.gnome.org und installieren Sie die Erweiterungen Ihrer Wahl, indem Sie den Schieberegler innerhalb der gewählten Erweiterung aktivieren.
- Über “Installed Extensions” können Sie Ihre Erweiterungen verwalten.