Come installo le estensioni della shell GNOME?
È possibile aggiornare, rimuovere e gestire le estensioni?
Come installo le estensioni della shell GNOME?
È possibile aggiornare, rimuovere e gestire le estensioni?
Risposte:
Per installare un'estensione è necessario disporre gnome-tweak-tool
dell'installazione, questa deve essere installata per impostazione predefinita sulla maggior parte delle versioni moderne di Ubuntu GNOME, tuttavia in caso contrario è possibile installarla eseguendo quanto segue:
sudo apt-get install gnome-tweak-tool
Con gnome-tweak-tool
alcune estensioni preinstallate ma non pre-abilitate, puoi visualizzarle aprendo gnome-tweak-tool
(puoi eseguirlo nel Terminale ( CTRL+ ALT+ T) oppure puoi cercare Tweak Tool
nella Panoramica delle attività) e andare alla Extensions
sezione.
Poiché il supporto del plug-in NPAPI versione 52 di Firefox è stato rimosso, i plug-in come il GNOME Shell Integration
plug-in, Java ecc. Non funzioneranno. Quindi, se desideri installare una nuova estensione che non è già installata, avrai bisogno di una soluzione in due parti:
Applicazione di messaggistica host nativa:
sudo apt-get install chrome-gnome-shell
Dopo aver installato entrambi, sarà necessario riavviare il browser per rendere effettive le modifiche. Quindi sarai in grado di sfogliare e installare le estensioni GNOME da qui .
Se desideri installare una nuova estensione che non è già preinstallata, vai qui in Firefox e assicurati che il GNOME Shell Integration
plugin sia abilitato. Quindi vai qui about:addons
(inseriscilo nella barra dell'URL e premi ENTER), vai alla Plugins
sezione e assicurati che il GNOME Shell Integration
plugin sia impostato su Always Activate
, oppure fai lo stesso ma invece impostalo su Ask to Activate
e quindi quando visiti il sito web delle estensioni GNOME assicurati fai clic Allow Now
ogni volta oppure premi Allow and Remember
(dovrai fare clic sul mattoncino lego per visualizzare questa finestra di dialogo, il mattone mostrato nello screenshot seguente):
L'abilitazione di questo plugin consente al sito Web di rilevare la tua versione di GNOME e di installare e gestire le tue estensioni. Il plug-in dovrebbe essere installato per impostazione predefinita in Firefox 52 e versioni precedenti su Ubuntu GNOME.
(e alcuni altri browser basati su Chromium incluso Vivaldi)
Poiché il supporto del plug-in NPAPI non è disponibile in questi browser, sarà necessaria una soluzione in due parti:
Applicazione di messaggistica host nativa:
sudo apt-get install chrome-gnome-shell
Dopo aver installato entrambi, sarà necessario riavviare il browser per rendere effettive le modifiche. Quindi sarai in grado di sfogliare e installare le estensioni GNOME da qui .
Fonte parziale: come installare le estensioni GNOME usando Google Chrome o Vivaldi
Epiphany, il browser nativo GNOME "Web", supporta ancora i plug-in NPAPI e ha il plug-in delle estensioni GNOME necessario preinstallato, pertanto non è necessario configurarlo.
Se non è già installato, può essere installato con:
sudo apt-get install epiphany-browser
Le estensioni più popolari verranno visualizzati nella pagina iniziale, si arriva a, si può comunque scegliere di ordinare il contenuto della pagina e risultati di ricerca utilizzando i Name
, Recent
e Downloads
filtri. Puoi anche scegliere di visualizzare i risultati All versions
piuttosto Current version
che quelli in esecuzione (il tentativo di installare estensioni non compatibili con la tua versione di GNOME comporterà un errore silenzioso: l'operazione non avrà esito positivo ma non ti verrà notificato questo in in ogni caso - anche se le estensioni non compatibili saranno leggermente oscurate nell'elenco dei risultati in modo da poterlo dire anche con il All versions
filtro selezionato).
I diversi filtri che ho menzionato sopra sono accessibili attraverso i relativi menu a discesa (ho messo una casella rossa attorno alle impostazioni in questione):
Puoi anche usare la casella di ricerca per trovare le estensioni, una volta che hai trovato un'estensione che desideri installare (se sei preoccupato per la sicurezza delle estensioni, dovresti leggere queste informazioni sul processo di revisione - vai alla Are GNOME Shell extensions safe?
sezione - le estensioni hanno per passare prima che vengano accettati sul sito Web), fai clic sul suo nome nei risultati della ricerca, quindi una volta che sei sulla sua pagina fai clic sul ON/OFF
dispositivo di scorrimento accanto al suo nome (come fatto sopra nel gnome-tweak-tool
), otterrai una finestra di dialogo che ti chiede se desideri installare la suddetta estensione, in tal caso, premi Install
, se hai cambiato idea, premi Cancel
.
Se non visualizzi una finestra di dialogo del genere, ti sei appena imbattuto in una delle tue estensioni preinstallate e l'hai attivata!
Dopo aver apportato modifiche alle estensioni installate / attivate dal sito Web, sarà necessario riavviare gnome-tweak-tool
per poter registrare le modifiche.
Per attivare un'estensione, fai clic sul ON/OFF
dispositivo di scorrimento accanto al nome e alla descrizione in modo che il suo stato cambi da OFF
a ON
, (e viceversa per disattivarlo).
Vedrai che le estensioni preinstallate hanno un Remove
pulsante in grigio accanto a ciascuna di esse, questo è in grigio perché sono preinstallate, se ne installi una nuova, tuttavia sarai in grado di utilizzare questo pulsante per rimuoverlo permanentemente .
Vedrai anche che alcune estensioni hanno un pulsante vicino al loro Remove
pulsante che assomiglia a questo:
Facendo clic su questo pulsante sarà possibile modificare la configurazione per l'estensione in questione (dovrebbe aprire una finestra delle impostazioni).
La vista online ti consente anche di fare simili (anche se ti consente anche di rimuovere / disinstallare estensioni preinstallate, quindi segui attentamente - anche se ovviamente sarai in grado di reinstallarle di nuovo).
The gnome-tweak-tool
non supporta l'aggiornamento delle estensioni attraverso la sua interfaccia (anche se in futuro è prevista la demolizione dell'intera interfaccia web e il completamento di tutto gnome-software
), se esce una nuova versione di un'estensione e si desidera aggiornare ad esso puoi farlo andando qui e facendo clic sul pulsante di aggiornamento accanto al ON/OFF
dispositivo di scorrimento (se non è presente alcun pulsante di aggiornamento, l'estensione è già aggiornata):
Verrà quindi richiesto se si desidera Upgrade
tale estensione, premendo Upgrade
si aggiornerà, tuttavia premendo il Cancel
pulsante si disabiliterà o eventualmente si disinstalla così sarà necessario reinstallare o riattivare nuovamente.
Suggerimenti e trucchi:
Facendo clic con il Activities Overview
tasto destro del mouse sul pulsante (o Activities
come viene normalmente chiamato sul pulsante) verrà visualizzata una finestra dedicata alle estensioni della shell GNOME:
Questo processo dovrebbe funzionare per tutti coloro che usano GNOME 3.4+.
chrome-gnome-shell
è disponibile nel repository ufficiale per il 16.04
xenial-updates
sezione fa parte del repository principale, al contrario è solo una categoria xenial-security
.
Le estensioni di Gnome-shell possono essere installate dalla pagina web delle estensioni di Gnome-shell. Il sito è: https://extensions.gnome.org/
Per installare un'estensione fai clic sull'estensione e poi andrai a una pagina che descrive l'estensione.
In quella pagina puoi vedere un cursore. Attiva il dispositivo di scorrimento se desideri installare l'estensione. Quindi vedrai un prompt per installare l'estensione.
Le estensioni installate possono essere gestite da https://extensions.gnome.org/local/
Una volta che sei nella scheda Estensioni installate , puoi aggiornare qualsiasi estensione, disabilitare e portare le impostazioni direttamente dal browser.
In aggiornamento:
È possibile trovare il pulsante di aggiornamento accanto al nome dell'estensione quando è disponibile un aggiornamento.
Fare clic sul pulsante per aggiornare. Riceverai un prompt simile a quello che ricevi quando hai installato l'estensione chiedendo il permesso di installare l'estensione. fai clic sul pulsante Installa (Sì, non è Aggiorna) per installare l'estensione aggiornata.
Utilizzo delle impostazioni dell'estensione
Sebbene tu possa usare gnome-tweak-tool, puoi anche aprire la finestra delle impostazioni dell'estensione dal sito se l'estensione ne fornisce una. Basta fare clic sull'icona della chiave inglese. Una finestra delle impostazioni dovrebbe apparire come mostrato nella seguente schermata.
Eliminazione di un'estensione
Puoi anche eliminare un'estensione dal sito a condizione che non sia stata fornita con gnome-shell di default (il che le rende installate nell'area di sistema).
Fare clic sul segno della croce rossa per disinstallare l'estensione.
In Ubuntu 18.04 e successive le estensioni della shell GNOME possono essere installate dall'app Ubuntu Software. Cerca una parola chiave per "estensioni della shell GNOME" e il tipo di app che stai cercando.
Puoi anche cercare da tutte le estensioni della shell GNOME disponibili nella stessa schermata premendo il pulsante Componenti aggiuntivi che si trova sotto l' intestazione Categorie . Nella schermata dei componenti aggiuntivi selezionare la scheda Estensioni della shell e vedrai tutte le estensioni della shell GNOME disponibili.
Facendo clic su un'estensione della shell GNOME nell'elenco dei risultati della ricerca, si aprirà la sua schermata che mostrerà spesso schermate.
Facendo clic sul Website pulsante si aprirà il suo sito Web in un browser Web in cui è possibile visualizzare un'immagine di dimensioni maggiori dello stesso screenshot mostrato nel software Ubuntu.
Facendo clic sul Install pulsante verrà installata l'estensione.
Il sito Web GNOME ha una sezione Estensioni impostata, che è attualmente nella sua fase Beta. Promette una facile installazione di estensioni e la gestione di quelle installate, attraverso un'interfaccia web.
È possibile accedere al sito qui: https://extensions.gnome.org/
Gnome
aggiuntivo installato per poter vedere quel pulsante.
~/.local
radice ).
Vai alla pagina delle estensioni di gnome-shell usando un browser supportato (che non è totalmente sicuro di nulla in esecuzione o proveniente dal web).
Come lo stock gnome-browser o un'installazione pulita di Firefox dovrebbe funzionare anche. A volte ho avuto problemi con l'installazione di estensioni utilizzando Google Chrome o Midori.
Filtra per "Supportato da: Versione corrente"
Fai clic sul pulsante di attivazione / estensione dell'estensione che desideri
Dovrebbe apparire una domanda "installa questa estensione". Confermare.
In rari casi è necessario ricaricare gnome-shell per far funzionare una nuova estensione senza problemi (RARE!) - aprire la finestra di dialogo di esecuzione di gnome-shell ( Alt+ F2) - se non impostato, selezionare Alt + F2 non visualizza il prompt dei comandi di esecuzione in GNOME Shell ), digita r
e premi Enter.
(Questa risposta è stata originariamente inviata a una domanda intitolata Impossibile installare le estensioni della shell GNOME usando GNOME Tweaks in Ubuntu 18.04 )
Sì, la funzione di installazione dell'estensione è stata rimossa da GNOME Tweaks (dalla v3.26, quella in Ubuntu 17.10 se ricordo bene).
Per installare manualmente le estensioni, è sufficiente estrarre l'archivio ottenuto dal sito ufficiale e copiare / spostare la cartella delle estensioni (di solito del modulo extension-name@developer-info
) nella propria ~/.local/share/gnome-shell/extensions/
directory. Quindi accedere nuovamente (o riavviare la shell GNOME). L'estensione dovrebbe apparire ora in (GNOME) Tweaks . Attivalo da lì.
Sono impazzito cercando di farlo funzionare su un'installazione pulita di Ubuntu GNOME 14.04. Ho trovato la soluzione.
about:addons
).Ho quindi chiuso Firefox e poi riaperto. Quando sono tornato su http://addons.mozilla.org . Sono stato in grado di installare le estensioni (il dispositivo di scorrimento è rimasto in posizione ON. L'estensione è stata mostrata nello strumento di modifica dopo quello. Spero che questo aiuti. Ho letto così tante risposte e provato tante cose. Sono solo felice che L'ho capito e sono in grado di condividerlo con tutti. Ecco un breve elenco di versioni che puoi verificare con il tuo.
Installazione pulita di Ubuntu Gnome 14.04 Firefox 34. Versione installata durante l'installazione.
È possibile eseguire direttamente l'applicazione di selezione dell'estensione con il comando seguente:
sudo gnome-shell-extension-prefs
attivare l'estensione e quindi premere Alt+ F2, nella riga di comando immettere r
e premere Enter.
Questo metodo può presentare problemi:
Quando riavvii la shell GNOME ( Alt+ F2, r
) le estensioni potrebbero smettere di funzionare. (Esempio: Dash-to-Panel).
Se si utilizza il comando gnome-shell-extension-prefs
, nell'applicazione che si apre, le estensioni potrebbero apparire come non attivate.
gnome-shell-extension-prefs
.