mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-08-23 22:16:48 +00:00
use WEBI_HOST rather than webinstall.dev
This commit is contained in:
+2
-1
@@ -6,4 +6,5 @@
|
||||
# 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
|
||||
|
||||
Reference in New Issue
Block a user