diff options
author | Jabez Tho | 2020-05-30 14:19:47 +0800 |
---|---|---|
committer | Jabez Tho | 2020-05-30 14:19:47 +0800 |
commit | 253ec006a03915699a70ab66fcb9dee44f6cfa4a (patch) | |
tree | 678ce87c37b5ea7c9293948e4ffc99ae265f4818 /mbed-studio-bin.sh | |
download | aur-253ec006a03915699a70ab66fcb9dee44f6cfa4a.tar.gz |
modified ubuntu installer, ncurses5-compat-lib as workaround for clangd
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 |