From 2d8f3559798634d11200cf4c40517390dc4095ba Mon Sep 17 00:00:00 2001
From: Daedalus <37384006+Boldfor@users.noreply.github.com>
Date: Sun, 29 Jan 2023 12:09:29 +0100
Subject: [PATCH] Doc: Hints on identifying the port

---
 platformio_override.ini | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/platformio_override.ini b/platformio_override.ini
index e7391dc..ccf4d2e 100644
--- a/platformio_override.ini
+++ b/platformio_override.ini
@@ -11,6 +11,9 @@
 
 [env]
 ; Specify port here. Comment out (add ; in front of line) to use auto detection.
+; Under Linux, the ports are in the format /dev/tty***, typically /dev/ttyUSB0
+; To look up the port, execute ls /dev/tty*, then connect the device
+; then execute ls /dev/tty* again and check which device was added
 monitor_port = COM4
 upload_port = COM4