Web lists-archives.com

Re: Ethernet is not started at boot




On 08.02.18 08:42, tomas@xxxxxxxxxx wrote:
> On Thu, Feb 08, 2018 at 01:36:41PM +1100, Erik Christiansen wrote:
> 
> [...]
> 
> > [...] Fastidious fusspotting on minor terminology matters [...]
> 
> Yikes :-)
> 
> May I steal this one when I need it badly?

It's escaped now, so please feel free. Here's hoping it's not badly
needed too often.

Erik