Ubuntu 19.10

Upgraded both WS1 and today kid2 to 19.10.  For kid2 I had to go through 19.04 first, then 19.10.

On both I had to reboot on the rescue USB to re-install grub, due to:

error: symbol 'grub_file_filters' not found. 

In both cases, I fixed it by booting on a 19.10 USB key, then on the terminal (from memory):

sudo mount /dev/<my_root_partition> /mnt
sudo grub_install --root-directory=/mnt /dev/sda

Managing to boot from the USB dongle was the most difficult part.  I first tried with an SD card in a card reader, that never worked.  Then I used a USB dongle and it was better.  On the BIOS in kid2, you actually want to select boot from HDD not from USB (because it will see the USB dongle as an additional HDD).  Not sure that was the case on WS1.

The 19.10 "rescue" CD was almost unusable on kid2.  It boots into Xorg but with the radeon the display is pretty fu*ked up, almost unreadable.