summarylogtreecommitdiffstats
path: root/mbed-studio-bin.sh
blob: 3b54f19a0a1ee49ba9612f0a84c93b83c769dc61 (plain)
1
2
3
4
5
6
7
8
9
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