Hi Sonia,
this is my kernel:
root@live:~# uname -r
5.4.0-45-generic
root@live:~#
***
would it need to be updated?
Well, if you don't have a special reason to update the kernel, I'd say just leave it as is.
Btw, you use older Fossadog version, the latest version "FossaDog-2020-09-19_64-bit-UEFI.iso" has a slightly newer kernel and some fixes, see at bottom of post here
viewtopic.php?p=2476#p2476 in Fossadog thread. (but you can do the fix "ln -s /bin/busybox /usr/local/sbin/awk" and should be OK too, continuing to use your installed version)
I went to see the repositories and the only thing I thought is to exclude it in the search;
Yes, you can exclude it if you don't need it or fix it by changing bionic to focal.
I assume you added it with add-apt-repository .....
The script /usr/local/bin/add-apt-repository is a custom script that needs a fix, see here
viewtopic.php?p=2476#p2476 and next.
If you plan to use ppa's frequently, I'd advice to install "software-properties-common" and rename the above mentioned script (as described in link above).
Any reason why you're not posting in the
FossaDog thread ? It's there specially for posting comments, questions etc... about it.
Best regards,
Fred