Am Donnerstag 23 August 2018 schrieb John Pisini:
> I think you are thinking of Ubuntu which uses a command [which I forget off
> the top of my head] to change sources and upgrade to the next release.�

No, I am not. How did you get that idea?

Kind regards,
Stefan