Ubuntu gnome-shell-extension

8

Come posso installare e gestire le estensioni della shell GNOME?

Come installo le estensioni della shell GNOME? È possibile aggiornare, rimuovere e gestire le estensioni?

96 software-installation gnome-shell-extension gnome-shell

3

Perché il tema Shell è disabilitato in Gnome Tweak Tool?

In Gnome Tweak Tool, non riesco a cambiare il tema Shell: Passa il mouse sopra gli spettacoli punto esclamativo il seguente tool-tip: Shell user-theme extension not enabled. Sto usando Ubuntu 14.10 e ho installato gnome-shell-extensions.

59 themes gnome-shell gnome-shell-extension

5

Come nascondere la barra superiore in Ubuntu 18.04?

Come posso nascondere la barra superiore in Gnome 3.28 Ubuntu 18.04? Come si può installare l'estensione hide-top-bar?

35 gnome-shell gnome-shell-extension gnome-tweak-tool top-bar

4

Le estensioni vengono disattivate dopo il riavvio [chiuso]

Sto eseguendo Ubuntu Gnome 13.10 con Gnome 3.10. Il mio problema è che ogni volta che riavvio il sistema operativo tutte le estensioni della shell sono disattivate. La cosa strana è che le loro impostazioni sono mantenute. Sono appena spenti e devo riattivarli ogni volta. Come posso renderli persistenti. Grazie …

35 gnome-shell gnome-shell-extension

8

Come disabilitare l'angolo attivo "Attività" nella shell GNOME?

La shell GNOME ha la cosiddetta funzione "hot corner", che apre la dashboard se il mouse tocca l'angolo superiore sinistro dello schermo di un monitor. Voglio questo disabilitato Avevo un'estensione della shell GNOME, ma il repository non è più trovato: git clone git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist

35 gnome-shell gnome-shell-extension activities-overview

4

Posso avere un'area di lavoro con griglia rettangolare in Ubuntu 18.04?

Descrizione del problema Mi piacciono molto le aree di lavoro 2 per 2 in Ubuntu 16.04. Ma sembra che posso solo spostare l'area di lavoro su e giù. C'è un modo per raggiungere questo obiettivo? Quello che ho provato Ho provato l'estensione GNOME chiamata Workspace Grid (suggerito qui: posso avere …

32 18.04 workspaces gnome-shell gnome-shell-extension workspace-switcher

1

Come attivare / disattivare un'estensione gnome-shell dalla riga di comando

Diciamo che ho installato successivamente il mio set di estensioni gnome-shell. Ma voglio disattivare / disattivare dalla riga di comando. Questo è possibile solo tramite l'azione del mouse, AFAIK. Come lo posso fare ?

27 command-line gnome gnome-shell-extension

2

Come posso aggiungere "Mostra desktop" al trattino GNOME o Ubuntu Dock?

Sto migrando da Unity a GNOME. Un elemento che mi manca è un pulsante "Mostra desktop" (aka "minimizza tutte le finestre") nel trattino. Come posso aggiungere questa funzionalità al trattino GNOME (o dock Ubuntu in Ubuntu 17.10 e versioni successive), anche se ciò significa creare un .desktopfile personalizzato ? (So …

26 gnome gnome-shell gnome-shell-extension ubuntu-dock show-desktop

4

Come rimuovere completamente un'estensione della shell gnome?

Sto eseguendo gnome-shell 3.4.1 sotto Ubuntu 12.04. Ho provato varie estensioni da http://extensions.gnome.org e ora voglio rimuoverne completamente alcune, soprattutto perché non occupano spazio in Gnome Tweak Tool. È sicuro eliminare la cartella delle estensioni in ~/.local/share/gnome-shell/extensions/?

26 12.04 gnome gnome-shell gnome-shell-extension

3

Come posso sbarazzarmi del dock in Ubuntu 18?

Il grande molo sulla sinistra. In altre versioni potresti sfuggire al lanciatore di unità andando su gnome, e adesso? Gnome tweaks non lo mostra come un'estensione, anche se sembra molto simile a dash to dock. Vedo le opzioni di autohide nelle impostazioni, ma non c'è modo di rimuoverlo completamente e …

25 gnome-shell ubuntu-dock gnome-shell-extension

1

Come installare offline le estensioni della shell di gnome?

So come visitare il sito Web https://extensions.gnome.org/ e scaricare le estensioni gnome-shell, ma ora devo installare alcune estensioni disponibili lì su un computer senza alcun accesso a Internet. Si trova in una rete aziendale interna e non c'è modo di ottenere l'accesso a Internet esterno su di essa, quindi devo …

23 gnome gnome-shell gnome-shell-extension

3

Documentazione per lo sviluppo dell'estensione della shell di gnome?

Ho voluto sviluppare alcune estensioni di Gnome Shell poiché sono solo in javascript, tuttavia ho cercato e c'è praticamente zero documentazione, ovunque io guardi la gente dice solo di usare la documentazione di base di Gnome, ma questo NON aiuta, posso non ho trovato alcuna documentazione per le importazioni per …

22 development gnome-shell-extension

2

Come faccio a spostare l'icona "Mostra applicazioni" nel Dock di Ubuntu?

Ubuntu 17.10 introduce GNOME Shell con Ubuntu Dock (basato sull'estensione Shell GNOME Dash to Dock ) e consente di posizionare il Dock nella parte inferiore del desktop: Tuttavia, non esiste un modo semplice per spostare l' icona Mostra applicazioni (mostrata a destra) a sinistra del Dock. Non esiste tale impostazione …

20 17.10 gnome-shell-extension gnome-shell ubuntu-dock

3

Come posso ordinare le estensioni della shell di Gnome3 in alto?

L'ordinamento dei widget di estensione shell sembra essere casuale, come posso cambiarlo? Ad esempio, voglio avere le informazioni sulla data / ora a sinistra. Il mio pannello shell:

18 14.04 gnome gnome-shell gnome-shell-extension

2

Come ottenere ulteriori informazioni su "Errore durante il caricamento dell'estensione"?

Come posso ottenere maggiori informazioni sul motivo per cui un'estensione specifica non funziona e mi mostra "Errore durante il caricamento dell'estensione" quando provo ad abilitarla?

18 gnome-shell gnome-shell-extension

Domande taggate «gnome-shell-extension»