Arduino "Ports" Suddenly grayed out

Adding "127.0.0.1 api-builder.arduino.cc" to the Etc/Hosts file.

That worked a treat on ubuntu 16.04

Thank you :slight_smile: :slight_smile: