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