Update install.sh

devcontainers-community · Aug 17, 2023 · 5e7f171 · 5e7f171
1 parent 86c04a1
commit 5e7f171
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/install.sh b/install.sh
@@ -9,6 +9,8 @@ if [[ $VERSION == system ]]; then
   sudo apt-get install -y direnv
 else
   curl -sS https://webi.sh/gh | sh
+  # From installer output
+  source ~/.config/envman/PATH.env
 
   # https://stackoverflow.com/a/48679640/19522682
   architecture=""