choose_ws.sh

choose_ws.sh

#!/bin/bash
PS3='Choose a workspace type: '
options=("default" "debug")
select opt in "${options[@]}"
do
    case $opt in
        "default")
            source /home/peter/catkin_ws/devel/setup.bash
            cd /home/peter/catkin_ws/
            catkin profile set default
            break
            ;;
        "debug")
            source /home/peter/catkin_ws/devel_debug/setup.bash
            cd /home/peter/catkin_ws/
            catkin profile set debug
            break
            ;;
        *) echo "invalid option $REPLY";;
    esac
done