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 notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in 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 Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Fix Committed Bug description: I did an apt dist-upgrade and got a message telling me that gnome- shell had crashed and asking if I wanted to report it. I figured it was just something funky about the upgrade so didn't bother. Instead, I restarted my machine just to get everything back into a sane state. Upon logging in after doing that, I had no dock. I dug around to try to figure out what was going on, and finally stumbled upon the description for "Ubuntu Dock" in gnome-tweaks, which told me to install dash to dock. So I installed that with apt and then restarted gnome-shell and then restarted gnome-tweaks and then enabled dash to dock and finally my dock was back. This is, shall we say, not an ideal upgrade experience. ProblemType: Bug DistroRelease: Ubuntu 19.04 Package: gnome-shell-extension-ubuntu-dock 64ubuntu3 ProcVersionSignature: Ubuntu 4.19.0-13.14-generic 4.19.20 Uname: Linux 4.19.0-13-generic x86_64 NonfreeKernelModules: nvidia_modeset nvidia ApportVersion: 2.20.10-0ubuntu21 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Fri Feb 22 10:05:57 2019 InstallationDate: Installed on 2019-01-02 (51 days ago) InstallationMedia: Ubuntu 18.10 "Cosmic Cuttlefish" - Release amd64 (20181017.3) PackageArchitecture: all SourcePackage: gnome-shell-extension-ubuntu-dock UpgradeStatus: Upgraded to disco on 2019-01-21 (31 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1817334/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
