mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-02-14 09:39:51 +00:00
12 lines
270 B
Bash
12 lines
270 B
Bash
#!/bin/sh
|
|
set -e
|
|
set -u
|
|
|
|
__redirect_alias_rg() {
|
|
echo "'ripgrep@${WEBI_TAG-}' (project) is an alias for 'rg@${WEBI_VERSION-}' (command)"
|
|
WEBI_HOST=${WEBI_HOST:-"https://webinstall.dev"}
|
|
curl -fsSL "$WEBI_HOST/rg@${WEBI_VERSION-}" | sh
|
|
}
|
|
|
|
__redirect_alias_rg
|