On Wed, 22 Jul 2020 15:04:44 -0400
Stefan Monnier <monnier@iro.umontreal.ca> wrote:
Hello Stefan,
>Any idea what might be going on and how to make it quicker?
You could set up networkmanager so that it ignores the ethernet port.
That should save you some time.
See;
https://developer.gnome.org/NetworkManager/stable/NetworkManager.conf.html
In particular the 'keyfile section' and 'ifupdown section', which detail
methods by which network interface devices can be ignored.
--
Regards _
/ ) "The blindingly obvious is
/ _)rad never immediately apparent"
We can dance like Iggy Pop
Coffee Shop - Red Hot Chili Peppers
Attachment:
pgpMePeKIEZC_.pgp
Description: OpenPGP digital signature