Thank you for your bug report. Indeed not an "ideal upgrade experience"
but that's part of using a non stable serie of Ubuntu. The problem is
that the dock migrated out of disco-proposed before the new gnome-shell
version did, you can either downgrade to the previous version of ubuntu
dock or get the new gnome-shell version out of proposed
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided => High
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Confirmed => Fix Committed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1817334
Title:
dock disappears after apt dist-upgrade, needed to install gnome-shell-
extension-dashtodock by hand, restart gnome-shell, and enable
extension in tweaks
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1817334/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
