update scripts

Author: github0null

jlink-device-addon.cmd

@@ -1,2 +1,2 @@
 @echo off
-python3 "%EIDE_TOOL_JLINK_DEV_ADDON%\__main__.py" %*
+%EIDE_PY3_CMD% "%EIDE_TOOL_JLINK_DEV_ADDON%\__main__.py" %*

jlink-device-addon.sh

@@ -1,2 +1,2 @@
 #!/bin/bash
-python3 "${EIDE_TOOL_JLINK_DEV_ADDON}/__main__.py" "$@"
+${EIDE_PY3_CMD} "${EIDE_TOOL_JLINK_DEV_ADDON}/__main__.py" "$@"

setup.sh

@@ -1,12 +1,17 @@
 #!/bin/bash
 
+if [ x"$EIDE_PY3_CMD" == x"" ]; then
+    echo "warning: EIDE_PY3_CMD not set, using system python."
+    EIDE_PY3_CMD=python
+fi
+
 py_pkgs=(click cmsis_pack_manager pyelftools intervaltree dataclasses)
 
 for name in ${py_pkgs[*]}
 do
-    python3 -m pip --no-cache-dir install $name -t ./ -i http://mirrors.aliyun.com/pypi/simple/ --trusted-host mirrors.aliyun.com
+    ${EIDE_PY3_CMD} -m pip --no-cache-dir install $name -t ./ -i http://mirrors.aliyun.com/pypi/simple/ --trusted-host mirrors.aliyun.com
 done
 
-python3 ./__main__.py --help
+${EIDE_PY3_CMD} ./__main__.py --help
 
 exit $?