update PATH so that webi can work

diff --git a/webi/install.bash b/webi/install.bash
index d32a61066dfbe5774dff445ace8a4e8039fa572e..47891e204bcbc6f6a99c0059496524df7639492f 100644 (file)
--- a/webi/install.bash
+++ b/webi/install.bash
@@ -21,7 +21,14 @@
 #   ```
 
 if [ -f "$HOME/.local/bin/webi" ]; then
+  set +e
+  cur_webi="$(command -v webi)"
+  set -e
+  if [ -z "$cur_webi" ]; then
+    web_add_path "$HOME/.local/bin"
+  fi
   echo "Installed 'webi'"
 else
+  # for when this file is run on its own, not from webinstall.dev
   echo "Install any other package via https://webinstall.dev and webi will be installed as part of the bootstrap process"
 fi