Surely just removing the tool from the path for that one session is absolutely fine - it's not like it's global.
For instance adding the command:
export PATH=`echo $PATH | sed -e "s/:[^:]*arm[^:]*:/:/"`
to your script would remove any path entry containing the text arm, just for that terminal session, and not across your whole system
arm
(you probably want to run echo $PATH first to check that's the correct entry to remove though)
echo $PATH
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Surely just removing the tool from the path for that one session is absolutely fine - it's not like it's global.
For instance adding the command:
to your script would remove any path entry containing the text
arm
, just for that terminal session, and not across your whole system(you probably want to run
echo $PATH
first to check that's the correct entry to remove though)