Como posso me livrar do dock no Ubuntu 18?

O grande cais à esquerda. Em outras versões, você pode escapar do Unity Launcher acessando o gnome, e agora? Os ajustes do Gnome não o mostram como uma extensão, embora pareça muito com o dash to dock.

Vejo opções de ocultar automaticamente nas configurações, mas não há como removê-lo completamente e usar o padrão do gnome.

Edit: Eu não estou à procura de gnomo de baunilha, mas simplesmente para esconder a doca.

Execute o seguinte:

cd /usr/share/gnome-shell/extensions/
sudo mv ubuntu-dock@ubuntu.com{,.bak}

Pressione ALT+ F2e digite ra entrada.

Como o Ubuntu Dock é uma extensão do sistema (nome do pacote:) gnome-shell-extension-ubuntu-dock, não é possível simplesmente desabilitá-lo usando o GNOME Tweaks ou a partir daqui .

Removendo este pacote executando

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

deve se livrar do dock, mas não é de todo recomendado , pois também removerá o ubuntu-desktopmeta-pacote que pode quebrar mais tarde (veja isso ).

Indiscutivelmente, uma solução mais limpa é usar o GNOME de baunilha (shell do GNOME sem modificações feitas pelo Ubuntu). No GNOME básico, o Ubuntu Dock está desativado por padrão.

Você pode instalar o vanilla GNOME executando

sudo apt install vanilla-gnome-desktop

Depois de instalado, reinicie (ou faça login novamente). Depois de acessar a tela de login do GDM, você encontrará uma roda dentada (⚙️) ao lado do botão de login. Se você clicar na roda dentada, deverá encontrar as opções intituladas " GNOME " e " GNOME on Wayland ", juntamente com o Ubuntu e o Ubuntu on Wayland . Selecione qualquer uma das opções do GNOME em vez das opções do Ubuntu .

NOTA: Se você deseja removê-lo, exclua completamente o /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com(faça backup em caso de emergência). Então reinicie.

Se você quiser ajustar mais, use o dconf-editor:

Você pode ajustar o dock do dconf-editor . Instale-o por sudo apt install dconf-tools.

Abra o dconf-editor e vá para org->gnome->shell->extension->dash-to-dock. Você pode fazer alguns ajustes, como esconder a doca, desativar a extensão, etc.