Eu queria desativar o dock sempre visível que vem com a versão 17.10 do shell do gnome. Eu encontrei dicas para instalar as extensões dash-to-dock ou para desinstalar a extensão dock do Ubuntu. A primeira resultou em duas docas sobrepostas, a última na remoção de vários outros pacotes. O tema do shell do Ubuntu está quebrado agora e o dock ainda está sempre visível e preso em um tema quebrado.
Obviamente, brincar com as extensões padrão sem instalar completamente o gnomo de baunilha foi uma má idéia. Você sabe como desfazer as mudanças? Eu já re-instalei o pacote ubuntu-desktop, mas isso não corrigiu nada, então não foi o único removido junto com o gnome-shell-extension-ubuntu-dock.
Muito obrigado.
O Ubuntu Dock é um fork do Dash to Dock, portanto, instalar e executar ambos ao mesmo tempo pode causar problemas. Se você deseja que o Dash to Dock apenas, siga estas etapas.
Desinstalar o Ubuntu Dock
Instalar o Dash to Dock