Describe the bug
OS X Mojave - Earlier Arduino IDE working fine. However, after selecting Tools - Board Manger, Arduino Pro beta 0.1.1 reports “NO PORTS DISCOVERED”. Able to select board Uno OK.
Expected behaviour
Should allow display and selection of available port
Desktop (please complete the following information):
Additional context
Oh well.
Should be fixed by https://github.com/arduino/arduino-pro-ide/releases/tag/v0.0.2-alpha.preview