Update devcontainer portion of install to be more robust

erichlf · Jul 2, 2024 · c8c6a18 · c8c6a18
1 parent 3f0d66c
commit c8c6a18
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/install.sh b/install.sh
@@ -29,10 +29,12 @@ case "$kernel" in
   *)
     if [[ $(uname -o) == "Darwin" ]]; then
       ./scripts/mac.sh
+    elif [[ $DEV_WORKSPACE != "" ]]; then
+      ./scripts/devcontainer.sh
     else
       echo \
 "
-  Unknown system: $(uname -a) 
+  Unknown system: $(uname -a)
   KTHNXBYE
 "
       exit 1