Programming ESP32 under Linux

connect ESP32 via USB to your system
source environment settings: cd ~/prog/esp32/esp-idf ; . ./export.sh
change to the programming directory: cd ~/prog/esp32
create a copy of a programming example: cp -axv ~/prog/esp32/esp-idf/examples/get-started/hello_world ~/prog/esp32/
source code resides in ~/prog/esp32/hello_world/main/hello_world_main.c
cd ~/prog/esp32/hello_world
preload ~/prog/esp32/hello_world/build: idf.py set-target esp32c3
idf.py menuconfig
compile: idf.py build
flash: idf.py flash
watch/monitor stdout from ESP32: idf.py monitor
abort monitoring: ctrl+] ( = ctrl+altgr+9 , on a German keyboard)
rinse, return