ripgrep/install.sh

   1 #!/bin/bash
   2 # title: Ripgrep (alias)
   3 # homepage: https://webinstall.dev/rg
   4 # tagline: `ripgrep` (project) is an alias for `rg` (command)
   5 # alias: rg
   6 # description: |
   7 #   See https://webinstall.dev/rg
   8
   9 echo "'ripgrep@${WEBI_TAG:-}' (project) is an alias for 'rg@${WEBI_VERSION:-}' (command)"
  10 WEBI_HOST=${WEBI_HOST:-"https://webinstall.dev"}
  11 curl -fsSL "$WEBI_HOST/rg@${WEBI_VERSION:-}" | bash