On Fri 17 Aug 2018 at 21:49:53 +0200, john doe wrote: > As an aside, you should consider using 'apt' and not 'apt-get'. Why? What functional difference is there between 'apt-get upgrade' and 'apt-get install' and the apt equivalents? -- Brian.