Mon, 1 Jun 2020 21:47:23 +0100 (BST) - Jim Jackson <jj@???>:
> Some googling indicated that this sort of problem might be solved by doing
> an
>
> apt update
Indeed... While `apt-get update` not asked me to say Y, `apt update` did, and this solved
the problem.
Anyway this surprised me, both because it had never happened in so many years,
and because of the different behavior of apt and apt-get.
Thans all for your help.
Regards
--
al3xu5
Say NO to copyright, patents, trademarks and any industrial design restrictions.
________________________________________________________________________________
Public GPG/PGP key
ID: 4096 bit RSA key F94CFE23
Fingerprint: 59C6 9DC7 CD4B CF2F A190 E3DE 69C5 977B F94C FE23