On Wed, 22 Jul 2020 15:04:44 -0400 Stefan Monnier <monn...@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
pgpvShVyM8e1N.pgp
Description: OpenPGP digital signature
