Update GettingStartedGuide.md with a minor fix

FreeRTOS · Aug 21, 2024 · 35f289c · 35f289c
1 parent f6bc438
commit 35f289c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GettingStartedGuide.md b/GettingStartedGuide.md
@@ -180,7 +180,7 @@ The directly supported chips are the ones listed in
   when using an unsupported ESP chip.
 
 ```sh
-idf.py -p PORT flash monitor;
+idf.py -p PORT flash monitor
 ```
 
 Replace **PORT** with the serial port to which the ESP32-C3 is connected.