projects
/
webi-installers
/
.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
use WEBI_HOST rather than webinstall.dev
[webi-installers/.git]
/
ripgrep
/
install.sh
diff --git
a/ripgrep/install.sh
b/ripgrep/install.sh
index 1805ebb2617382fc35881e0e0f09b6c921010067..59b5ea753619ebbde669725b744f371063f63dc0 100644
(file)
--- a/
ripgrep/install.sh
+++ b/
ripgrep/install.sh
@@
-6,4
+6,5
@@
# See https://webinstall.dev/rg
echo "'ripgrep@${WEBI_TAG:-}' (project) is an alias for 'rg@${WEBI_VERSION:-}' (command)"
# See https://webinstall.dev/rg
echo "'ripgrep@${WEBI_TAG:-}' (project) is an alias for 'rg@${WEBI_VERSION:-}' (command)"
-curl -fsSL https://webinstall.dev/rg@${WEBI_VERSION:-} | bash
+WEBI_HOST=${WEBI_HOST:-"https://webinstall.dev"}
+curl -fsSL "$WEBI_HOST/rg@${WEBI_VERSION:-}" | bash