[MERGED] Serial Port greyed out on Arduino IDE on Ubuntu MATE 18.04

This topic has been merged into Issue running Arduino IDE 1.8.5 application in Ubuntu MATE 18.04.