From d011e8064c6955ab57850197e93f2f5b5df2e6cc Mon Sep 17 00:00:00 2001 From: Cameron Brown Date: Fri, 27 Dec 2024 14:16:35 -0500 Subject: [PATCH] scripts/setup.bash: Set MIL_REPO to ws root, not src folder --- scripts/setup.bash | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/setup.bash b/scripts/setup.bash index 6df635e..6215fd9 100644 --- a/scripts/setup.bash +++ b/scripts/setup.bash @@ -1,4 +1,4 @@ -MIL_REPO="$HOME/mil2/src" +MIL_REPO="$HOME/mil2" if [[ $(ps -p $$ | tail -n 1 | awk '{ print $4 }') == "zsh" ]]; then source /opt/ros/jazzy/setup.zsh @@ -8,7 +8,7 @@ fi _list_complete() { local THING - THINGS=("$1") + THINGS=("$1") for THING in "${THINGS[@]}"; do if [[ -z $2 || -n "$(echo "${THING:0:${#2}}" | grep "$2")" ]]; then COMPREPLY+=("$THING")