From 6a356d4a45026f3fb03c1720ad427723e0a94241 Mon Sep 17 00:00:00 2001 From: proddy Date: Wed, 22 Feb 2023 09:38:48 +0100 Subject: [PATCH] show how to override platform --- pio_local.ini_example | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pio_local.ini_example b/pio_local.ini_example index 3cdaf0df7..fe1a5e9c4 100644 --- a/pio_local.ini_example +++ b/pio_local.ini_example @@ -20,7 +20,10 @@ upload_port = /dev/ttyUSB* ; upload_port = COM5 ; override arduino espressif core +; platform = espressif32 ; take latest +; platform = espressif32@6.0.1 ; platform = espressif32@5.3.0 +; platform = espressif32@5.2.0 extra_scripts = pre:scripts/build_interface.py ; comment out if you don't want to re-build the WebUI each time