A question stemming from question Ubuntu 18.04 slow gnome after 2019 update: virus?: Is it possible to downgrade gnome-shell? I am advised to downgrade in Ubuntu 18.04 from gnome-shell version 3.28.3 (April 25 2019) to 3.28.1. Is there a safe recipe for this?
One should be careful that no packages are removed. The answer posted by Kulfy does not include
gnome-shell-extension-prefs, so it ends up removing that as well as
gnome-tweaks. The proper command in Ubuntu 20.04 is:
sudo apt install gnome-shell=3.36.1-5ubuntu1 gnome-shell-common=3.36.1-5ubuntu1 gnome-shell-extension-prefs=3.36.1-5ubuntu1