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