{
-set -e
-set -u
+ set -e
+ set -u
-#WEBI_PKG=
-#WEBI_HOST=https://webinstall.dev
-export WEBI_HOST
+ #WEBI_PKG=
+ #WEBI_HOST=https://webinstall.dev
+ export WEBI_HOST
-mkdir -p "$HOME/.local/bin"
+ mkdir -p "$HOME/.local/bin"
-cat << EOF > "$HOME/.local/bin/webi"
+ cat << EOF > "$HOME/.local/bin/webi"
#!/bin/bash
set -e
fi
if [ -n "\$(command -v unzip)" ]; then
my_ext="zip,\$my_ext"
-else
- >&2 echo "WARN: 'unzip' not found"
fi
+# for mac/linux 'exe' refers to the uncompressed binary without extension
+my_ext="exe,\$my_ext"
if [ -n "\$(command -v tar)" ]; then
my_ext="tar,\$my_ext"
fi
EOF
-chmod a+x "$HOME/.local/bin/webi"
+ chmod a+x "$HOME/.local/bin/webi"
-if [ -n "${WEBI_PKG:-}" ]; then
- "$HOME/.local/bin/webi" "${WEBI_PKG}"
-fi
+ if [ -n "${WEBI_PKG:-}" ]; then
+ "$HOME/.local/bin/webi" "${WEBI_PKG}"
+ fi
}