(I wonder: should I do individual messages, or write down everything in one go? - This is no bug report, so I give it a single go
0. I didn't want to upgrade. I only had a standard daily apt-get with 'dist-upgrade' working; which at any moment in the past didn't actually do that; I simply had applied that for convenience: It wouldn't ask for additional packages. Yesterday, there wasn't even a question popped up, if I really wanted to upgrade to 20.04; bang, 'apt-get dist-upgrade' and there it was. Over.
1. It used to be a dual boot with W10 before, after the upgrade, it is just a (k)ubuntu 20.04. No more grub selection menu.
-> (Remains unsolved, thoughI checked the BIOS (lenovo Helix 2), and found the ubuntu drive as first boot device, Windows boot loader second, and so forth. So it seems to correctly point to the correct device, I guess. So I can boot to W10 by selecting temporarily the W10 boot loader.
2. Touchpad didn't do the double-tap any longer; had to tap + left mouse button. Solved by finally finding a solution: editing /usr/share/X11/xorg.conf.d/40-libinput.conf
3. I had a left edge mouseover leading to the 'show desktop' which is still set, but doesn't work any longer.
-> This one I could solve: The compositor was disabled (NOT by me!); and System Settings->Display and Monitor->Compositor>Enable could solve this matter with a reboot.
4. The speakers in my tablet are 'dead'. They are visible, but produce nothing.
That's it what I encountered until now.
I'd be most happy to hear solutions for 1,3 and 4.
Kind regards,
Uwe
Bookmarks