I could restore the old state by running
sudo apt install gnome-shell-common=42.9-0ubuntu2.1
sudo apt install gnome-shell ubuntu-desktop gdm3
gnome-shell-extension-desktop-icons-ng gnome-shell-extension-appindicator
chrome-gnome-shell ubuntu-session gnome-shell-extension-manager
gnome-shell-extension-ubuntu-dock ubuntu-desktop-minimal
but for a user who is not familiar with package management tools and the
command line more generally, this would practically brick their machine.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/2077232
Title:
Security update 42.9-0ubuntu2.2 uninstalls GDM
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/2077232/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
