diff options
Diffstat (limited to 'mbed-studio-bin.sh')
-rw-r--r-- | mbed-studio-bin.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mbed-studio-bin.sh b/mbed-studio-bin.sh new file mode 100644 index 000000000000..3b54f19a0a1e --- /dev/null +++ b/mbed-studio-bin.sh @@ -0,0 +1,10 @@ +#!/usr/bin/env bash + +USR_TOOLS_PATH="$HOME/.config/Mbed Studio/mbed-studio-tools" + +if [ ! -d "$USR_TOOLS_PATH" ]; then + mkdir -p "$HOME/.config/Mbed Studio" + ln -s "/usr/share/mbed-studio-bin/mbed-studio-tools" "$USR_TOOLS_PATH" +fi + +/usr/share/mbed-studio-bin/mbed-studio |