Новая установка 17.10 на «голое железо», установлен Dash to Panel с extensions.gnome.org.
При первой активации он работает как надо, но при каждом входе в систему он деактивируется и заменяется Ubuntu Dock.
Есть идеи, как предотвратить отключение Dash to Panel при каждом выходе из системы?
решение1
Только что нашел виновника... Это расширение "Расширения" с extensions.gnome.org. Если оно активно, то по какой-то причине оно восстанавливает предыдущий выбор дока после каждого выхода из системы. Отключил его и теперь могу оставаться с выбранным доком.