Come posso nascondere il Dock in GNOME?

25

Voglio nascondere completamente il dock in 17.10. Non solo quando sovrapposti, ma sempre. Ho provato molte estensioni ma non funziona nulla e l'estensione più promettente non esiste nemmeno. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

Nota: la mia interfaccia utente è solo windows e sfondo. A nient'altro sarà permesso di consumare i miei preziosi pixel

gnome-shell dock

— pcnate
fonte

Qual è l'estensione più promettente che non esisteva nemmeno?

— Videonauth,

extensions.gnome.org/extension/1290/disable-ubuntu-dock

— pcnate

1

Hai tweaks installato? Se sì, controlla l'estensione ubuntu-dock che dovrebbe essere impostata su IRRC, prova a disattivarla.

— Videonauth,

Spegni già quella macchina. Controllerò la mattina.

— PCnate il

Ping me quando hai controllato con i risultati.

— Videonauth,

20

Puoi utilizzare la seguente estensione per nascondere completamente il Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

Con questa estensione, sarai in grado di nascondere il dock ma mantenere disponibili le scorciatoie specifiche del dock. Per fare ciò, abilita l'estensione, vai nelle sue impostazioni ed esegui le seguenti operazioni:

Abilita l' opzione Autohide intelligente nella scheda Posizione e dimensioni .
Fai clic sull'icona "Ingranaggio" (⚙) accanto all'interruttore On / Off dell'opzione Autohide intelligente per ulteriori impostazioni.
Nella nuova finestra di dialogo, disabilitare entrambe le opzioni, Nascondi automaticamente e Scherma Windows .
- Disabilitando l' autohide , il dock verrà nascosto anche se si tenta di spostare il mouse nel punto in cui si trova il dock.
- La disabilitazione delle finestre Dodge manterrà il dock nascosto anche quando non è ostruito da alcuna finestra.

Come accennato in precedenza, ciò non disinstallerà o disabiliterà il dock. Ma lo nasconderà completamente. Quindi non verrà più visualizzato sullo schermo a meno che almeno una delle due opzioni precedenti non sia nuovamente abilitata.

— Dan
fonte

Il comportamento rimane dopo aver disabilitato l'estensione. Ho alterato l'aspetto del dock cambiando l'opacità dello sfondo (è apparso un rettangolo semitrasparente aggiuntivo), quindi ho disabilitato l'estensione per provare a ripristinare le impostazioni. Dopo aver riavviato senza abilitare, è sembrato che il trattino predefinito si nascondesse automaticamente come OP (e io) volevamo.

— Ctrl-C

14

In Ubuntu 17.10, 18.04, 18.10 e 19.04 è possibile disinstallare gnome-shell-extension-ubuntu-dockusando:

sudo apt remove gnome-shell-extension-ubuntu-dock

Questo rimuoverà il dock di Ubuntu.

Dovrai riavviare la sessione GNOME, puoi farlo disconnettendoti e riaccedendo.

— psiphi75
fonte

1

Questo è in realtà l'approccio più pulito imho.

— binaryanomaly

2

Invece di disconnettersi e riconnettersi, è anche possibile premere ALT+F2, digitare 'r', quindi premere Invio. (questo ricarica gnome-shell ma mantiene le finestre aperte!)

— antoineMoPa

@antoineMoPa, l'approccio "premi ALT + F2" funziona su una sessione X11, ma non in una sessione Wayland (e probabilmente non lo farà mai).

— psiphi75

10

Potresti anche farlo con dconf Editor che è uno strumento piuttosto utile se ti piace modificare il desktop.

Quindi, in dconf Editor vai /org/gnome/shell/extensions/dash-to-docke disattiva contemporaneamente questi tre oggetti di scena:

nascondi automaticamente
dock-fisso
intellihide

E hai il dock visibile solo in modalità overlay (lo stesso con l'estensione consigliata da @Dan).

— Bekkiev romano
fonte

1

Dovrò provare questo. Sai se riesco a conservare le scorciatoie da superkey anche con il dock nascosto?

— pcnate

1

@pcnate, non lo so davvero ma le scorciatoie AFAIK di solito sono collegate ai comandi, non agli elementi dell'interfaccia utente, quindi molto probabilmente dovrebbe funzionare.

— Bekkiev romano,

Posso confermare che le scorciatoie da superkey funzionano ancora.

— Andersoyvind,

1

Probabilmente è meglio usare lo gsettingsstrumento per questo:

gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false

(nota: condensato su una riga perché non sembra possibile fare blocchi di codice multi-riga nei commenti)

— Desty

@Roman La tua risposta porta allo stesso comportamento di Ubuntu Gnome che mi è venuto in mente. Questo è davvero pignolo, ma adoro davvero l'universo delle distribuzioni Linux perché è molto diversificato e personalizzabile; totalmente ortogonale all'approccio unico per tutte le dimensioni che considero seguire dalla SM (ma forse è un mio malinteso). Indipendentemente dalle tue preferenze nella progettazione e nel comportamento dell'interfaccia utente, troverai una distribuzione Linux adatta a te.

— Dohn Joe,

2

Il metodo migliore per farlo in Ubuntu 18.04 è usando gsettings. Perché installare le estensioni quando esiste un modo pulito per farlo?

Utilizzare il seguente comando nel terminale per nascondere automaticamente il dock

gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false

Nota: la maggior parte delle modifiche che si desidera eseguire con l'interfaccia utente può essere eseguita utilizzando gsettings.
Usa man gsettingsed esplora di più.

— Jithin Pavithran
fonte

È passato un po 'di tempo da quando l'ho visto, ma lo controllerò.

— PCNATE il