Public bug reported:
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)
** Affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug disco
--
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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
