It would be a good idea to be able to set separate serial devices for uploading and for the serial console in the Arduino IDE. In my case, I need /dev/ttyACM0 for flashing and /dev/ttyACM1 for the serial monitor. I am using a Black Magic Probe as the programmer.