On Sat 26/Jun/2021 11:45:46 +0200 o1bigtenor wrote:

> so you're suggesting the use of
> # apt update
> # apt full-grade
> or is that
> # apt full-upgrade    ?

apt-get dist-upgrade?


Best
Ale
--