Embora eu tenha definido " Ocultar automaticamente o Dock " como Ativado, o dock não desaparece. Os ícones na área de trabalho movem-se um pouco para a esquerda, de modo a ficarem parcialmente cobertos pela estação, mas a estação permanece lá enquanto não houver uma janela maximizada cobrindo-a.
A primeira imagem mostra um extrato da minha área de trabalho com ocultação automática ativada e a segunda com ocultação automática desativada.
A terceira foto mostra o que eu queria e o que obtive com a resposta de @ pomsky.
18.04
gnome-shell
ubuntu-dock
dock
muclux
fonte
fonte