On Thu, 16 Apr 2020 11:30:01 -0500 "Julio C. Ortega" <ju...@ortegamartinez.me> 
wrote:
> I can confirm also that downgrading gir1.2-gnomedesktop-3.0 to 3.34.2-2 
> solved the problem.

You can also force the next version of gnome-shell from unstable.

sudo apt install gnome-shell/unstable mutter/unstable 
gnome-shell-extensions/unstable

Include gnome-shell-extensions in your upgrade to avoid problems with missing 
dependencies.

And give it a try with the option --simulate before to be sure it won't break 
something.

> Julio C. Ortega

Jean-Marc <jean-m...@6jf.be>
https://6jf.be/keys/ED863AD1.txt

Attachment: pgpoNNqPZcVvR.pgp
Description: PGP signature

Reply via email to