I have a GUI on a raspberry pi that sends data to a few connected arduinos. I used to hardcode the common serial port names /dev/ttyACM1 and such but some other boards have