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