How to choose upload port?

I have a lightning detector running on a Mega. Pretty convinced it’s nearly working. But it’s hooked up to Termite for serial.

I want to upload stuff to a different board, but it’s try to upload to 14, which Termite is using.

I don’t have a ‘PlatformIO’ menu item at top. How can I specify upload port in terminal?