====== 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