Esp idf projects

I was having trouble "doing" arduino on an ESP32 C3 Dev board.

So I went to the vendor and asked: how do?

https://docs.espressif.com/projects/esp-idf/en/stable/esp32/get-started/linux-macos-setup.html

the code is here:

https://github.com/espressif/esp-idf

including examples and support for all their chips.

I learned some stuff.

For every example project

. $HOME/esp/esp-idf/export.sh

alias get_idf='. $HOME/esp/esp-idf/export.sh'

cd ~/esp
cp -r $IDF_PATH/examples/get-started/hello_world .

idf.py set-target esp32 idf.py menuconfig