Nueva instalación 17.10 en bare metal, instaló Dash to Panel desde extensions.gnome.org.
Funciona como se esperaba cuando se activa por primera vez, pero Ubuntu Dock lo desactiva y lo reemplaza en cada inicio de sesión.
¿Alguna idea de cómo evitar que Dash to Panel se apague cada vez que cierras sesión?
Respuesta1
Acabo de encontrar al culpable... Es la extensión "Extensiones" de extensions.gnome.org. Si está activo, por alguna razón restaura la elección anterior de muelle después de cada cierre de sesión. Lo apagué y ahora puedo quedarme con el muelle que elijo.