From 13d2ca88fc57c237ab79e8a679c38db75e04e088 Mon Sep 17 00:00:00 2001 From: AJ ONeal Date: Sat, 13 Jun 2020 16:06:28 -0600 Subject: [PATCH] update PATH so that webi can work --- webi/install.bash | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/webi/install.bash b/webi/install.bash index d32a610..47891e2 100644 --- 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 -- 2.25.1