(tue-env-config) use more local

tue-robotics · Dec 8, 2022 · d50ce00 · d50ce00
1 parent bde36c1
commit d50ce00
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/setup/tue-env-config.bash b/setup/tue-env-config.bash
@@ -122,7 +122,7 @@ then
     echo -e "[tue-env](config) no environment set or provided"
     exit 1
 else
-    env=$1
+    local env=$1
     shift
 
     tue_env_dir="$(cat "$TUE_DIR"/user/envs/"$env")"
@@ -136,7 +136,7 @@ else
         # shellcheck disable=SC2086
         functions=$(echo $functions | tr ' ' '|')
 
-        cmd=$1
+        local cmd=$1
         shift
 
         eval "