dist/tools/esptools: make export.sh more helpful

RIOT-OS · Dec 22, 2024 · c65ed1a · c65ed1a
1 parent ffe844f
commit c65ed1a
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/dist/tools/esptools/export.sh b/dist/tools/esptools/export.sh
@@ -38,11 +38,20 @@ export_arch()
     TOOLS_DIR="${TOOLS_PATH}/${TARGET_ARCH}/${ESP32_GCC_RELEASE}/${TARGET_ARCH}"
     TOOLS_DIR_IN_PATH="$(echo $PATH | grep "${TOOLS_DIR}")"
 
-    if [ -e "${TOOLS_DIR}" ] && [ -z "${TOOLS_DIR_IN_PATH}" ]; then
+    if [ ! -e "${TOOLS_DIR}" ]; then
+        echo "${TOOLS_DIR} does not exist - please run"
+        echo $(echo $0 | sed 's/export/install/') $1
+        exit 1
+    fi
+
+    if [ -z "${TOOLS_DIR_IN_PATH}" ]; then
         echo "Extending PATH by ${TOOLS_DIR}/bin"
         export PATH="${TOOLS_DIR}/bin:${PATH}"
     fi
 
+    echo "To make this permanent, add this line to your ~/.bashrc or ~/.profile:"
+    echo PATH="\$PATH:${TOOLS_DIR}/bin"
+
     unset TOOLS_DIR
 }