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