[Desktop-packages] [Bug 1817334] Re: dock disappears after apt dist-upgrade, needed to install gnome-shell-extension-dashtodock by hand, restart gnome-shell, and enable extension in tweaks

2020-09-14 Thread Daniel van Vugt
Thank you for reporting this bug to Ubuntu. Ubuntu 19.04 (disco) reached end-of-life on January 23, 2020. See this document for currently supported Ubuntu releases: https://wiki.ubuntu.com/Releases We appreciate that this bug may be old and you might not be interested in discussing it any more.

[Desktop-packages] [Bug 1817334] Re: dock disappears after apt dist-upgrade, needed to install gnome-shell-extension-dashtodock by hand, restart gnome-shell, and enable extension in tweaks

2019-02-24 Thread Daniel van Vugt
Gnome Shell does indeed have its own dock built-in, which you will see whenever the Ubuntu Dock is missing or broken. But the built-in one may also hide by default (until you click Activities). -- You received this bug notification because you are a member of Desktop Packages, which is

[Desktop-packages] [Bug 1817334] Re: dock disappears after apt dist-upgrade, needed to install gnome-shell-extension-dashtodock by hand, restart gnome-shell, and enable extension in tweaks

2019-02-22 Thread Jonathan Kamens
Can you clarify? Do you mean that the new version of gnome-shell has the dock functionality built in, or that it has a dependency on the dash-to- dock deb which means when the new version of gnome-shell is installed dash-to-dock will get installed automatically? -- You received this bug

[Desktop-packages] [Bug 1817334] Re: dock disappears after apt dist-upgrade, needed to install gnome-shell-extension-dashtodock by hand, restart gnome-shell, and enable extension in tweaks

2019-02-22 Thread Sebastien Bacher
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

[Desktop-packages] [Bug 1817334] Re: dock disappears after apt dist-upgrade, needed to install gnome-shell-extension-dashtodock by hand, restart gnome-shell, and enable extension in tweaks

2019-02-22 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to