Instalação recente do 17.10 em bare metal, instale o Dash to Panel em extensions.gnome.org.
Ele funciona como esperado quando ativado pela primeira vez, mas é desativado e substituído pelo Ubuntu Dock a cada logon.
Alguma ideia de como evitar que o Dash to Panel seja desligado a cada logoff?
Responder1
Acabei de encontrar o culpado... É a extensão "Extensões" de extensions.gnome.org. Se estiver ativo, por algum motivo ele restaura a escolha anterior de dock após cada logoff. Desliguei e agora posso ficar com o dock que escolher.