Just update and your "old version" becomes the New On January 25, 2019 4:38:42 PM David Wright <deblis@lionunicorn.co.uk> wrote:
On Fri 25 Jan 2019 at 23:46:22 (+0000), Katnip wrote:or sudo apt update && sudo apt dist-update↑↑↑↑↑↑↑↑↑↑↑ I've never seen this one. What does it do? Some sort of automatic editing of sources.list? Cheers, David.