To build:
(in zsh, bash doesn't work)
. "$HOME/esp/esp-idf/export.sh"
idf.py build