scripts/setup.bash: Set MIL_REPO to ws root, not src folder

uf-mil · Dec 27, 2024 · d011e80 · d011e80
1 parent 2139161
commit d011e80
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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")