esp32 path set

# This shell snippet appends useful esp-idf tools to your PATH environment
# variable. This means you can run esp-idf tools without needing to give the
# full path.
#
# Use this script like this:
#
# . ${IDF_PATH}/add_path.sh
#
if [ -z ${IDF_PATH} ]; then
    echo "IDF_PATH must be set before including this script."
else
    IDF_ADD_PATHS_EXTRAS="${IDF_PATH}/components/esptool_py/esptool:${IDF_PATH}/components/espcoredump:${IDF_PATH}/components/partition_table/"
    export PATH="${PATH}:${IDF_ADD_PATHS_EXTRAS}"
    echo "Added to PATH: ${IDF_ADD_PATHS_EXTRAS}"
fi