mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-02-14 17:49:53 +00:00
feature(rg): add installer alias for ripgrep (see #221)
Making ripgrep installer an alias for rg
This commit is contained in:
committed by
AJ ONeal
parent
7e3baa5116
commit
0287cd4beb
3
ripgrep/install.ps1
Normal file
3
ripgrep/install.ps1
Normal file
@@ -0,0 +1,3 @@
|
||||
echo "'ripgrep@$Env:WEBI_TAG' is an alias for 'rg@$Env:WEBI_VERSION'"
|
||||
IF ($Env:WEBI_HOST -eq $null -or $Env:WEBI_HOST -eq "") { $Env:WEBI_HOST = "https://webinstall.dev" }
|
||||
curl.exe -fsSL "$Env:WEBI_HOST/rg@$Env:WEBI_VERSION" | powershell
|
||||
Reference in New Issue
Block a user