#!/usr/bin/env bash IDF_PATH= IDF_TOOLS_PATH= if [ -z "$IDF_PATH" ] then echo "IDF_PATH not set" return fi if [ -z "$IDF_TOOLS_PATH" ] then echo "IDF_TOOLS_PATH not set" return fi export IDF_PATH export IDF_TOOLS_PATH source $IDF_PATH/export.sh