Items 1-12 out of 1787 displayed
use grub-set-default
$ sudo grub-set-default ENTRY
ENTRY is a number or a menu item title
or edit /boot/grub/grub.cfg
sudo chmod +w...
Can be removed with:
gsettings set org.gnome.gnome-flashback.desktop.icons show-home false
gsettings set org.gnome.gnome-flashback.desktop.icons show-trash false
...
It turns out it was just a hardware limitation of HDMI, so you have to use Display Port instead! So, I bought this USB C to Display...
This is a Kernel bug associated with CPU power management. It's fixed in kernel 5.8, which comes with Ubuntu 20.10. I upgraded to 20.10, turned off all the workarounds, and am running stable...
Because hard disks have become faster over the years, an upgrade might slightly speed up boot time, launching applications and loading files. I would not expect any radical improvement, but it...