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.