Installazione delle estensioni della shell GNOME usando apt o apt-get? È possibile?

Aug 17 2020

Ho installato gnome-tweakse gnome-shell-extensionsutilizzato:

$ sudo apt install gnome-tweaks $ sudo apt install gnome-shell-extensions

Ora, mi interessa installare alcune estensioni. Voglio installare le estensioni utilizzando apto apt-geto snap, ma non utilizzando un browser web.

Ad esempio, potrei installare l' estensione " netspeed " utilizzando il browser, ma non sono in grado di trovare questo pacchetto nei repository principali / universe / multiverse. Quindi come posso installare questa (netspeed) o un'altra estensione utilizzando la riga di comando e in quale repository dovrei cercare?

Modifica: questa domanda non riguarda la possibilità di installare / gestire o rimuovere le estensioni della shell GNOME. Si tratta specificamente di eseguire queste operazioni da un terminale, utilizzando apto gestori di pacchetti simili.

Modifica: Software Center non mostra ancora risultati:

Risposte

3 vanadium Aug 17 2020 at 13:01

Alcune estensioni sono infatti contenute nei repository software standard di Ubuntu. Questi possono essere installati utilizzando apt get, Synaptic Package Manager e persino utilizzando Snap Software. La selezione, tuttavia, delle estensioni contenute nei repository software di Ubuntu è relativamente piccola .

I nomi dei pacchetti in genere iniziano con gnome-shell-extension, quindi puoi avere un'idea di cosa è disponibile standard con il comando

apt search gnome-shell-extension

o sfogliarli nel gestore di pacchetti Synaptic dopo aver cercato il termine. Se un'estensione che stai cercando non è disponibile nei repository di Ubuntu Software, non hai altra scelta che installarla in un modo diverso , tramite il sito Web o tramite un'installazione manuale.

Estensioni a livello di sistema rispetto a estensioni installate localmente

Le estensioni installate utilizzando aptvengono installate per tutti gli utenti. Non sono abilitati per impostazione predefinita. Ogni utente può abilitare o disabilitare l'interno individualmente. Ubuntu 20.04 è dotato di un'utilità dedicata "Estensioni" che consente di abilitare o disabilitare un'estensione di Gnome Shell. Gli utenti delle versioni precedenti di Ubuntu possono installare "Tweaks" per abilitare / disabilitare le estensioni.

Le estensioni installate utilizzando il sito Web Gnome Extensions vengono installate solo per l'utente. Solo l'utente corrente lo "vede" e può abilitarlo / disabilitarlo.

Come regola generale, è preferibile installare le estensioni della shell gnome utilizzando Ubuntu PPA. Queste estensioni sono state pacchettizzate dagli sviluppatori di Ubuntu e sono state testate per funzionare con il tuo sistema.

Le estensioni installate dal sito Web di Gnome Extensions potrebbero non funzionare più correttamente con un aggiornamento futuro sul tuo sistema. Nota anche che questo non è direttamente supportato nell'installazione predefinita di Ubuntu: ti viene richiesto di installare del software aggiuntivo prima di poterlo installare dal sito web delle estensioni di Gnome Shell.