PlatformIO.ini tab gone

Then it’s strange that it’s not detected. Open a shell /terminal and unplug the board. Then execute

ls /dev/{tty,cu}.*

Then plug in the board, wait a few seconds, and run the command again. Has a new tty/cu device appeared?

Yes, as usual and expected, I get my normal 2 ports after plugging in the board; nothing before.

You can try and edit the platformio.ini to add the line

upload_port = <your /dev/tty device here>

in the global config and attempt uploading.

1 Like