rg/install.sh

   1 {
   2     set -e
   3     set -u
   4
   5     ###################
   6     # Install ripgrep #
   7     ###################
   8
   9     new_rg="${HOME}/.local/bin/rg"
  10     WEBI_SINGLE=true
  11
  12     pkg_get_current_version() {
  13       echo $(rg --version 2>/dev/null | head -n 1 | cut -d ' ' -f 2)
  14     }
  15
  16     pkg_install() {
  17         # $HOME/.local/xbin
  18         mkdir -p "$pkg_src_bin"
  19
  20         # mv ./ripgrep-*/rg "$HOME/.local/xbin/rg-v11.1.0"
  21         mv ./ripgrep-*/rg "$pkg_src_cmd"
  22
  23         # chmod a+x "$HOME/.local/xbin/rg-v11.1.0"
  24         chmod a+x "$pkg_src_cmd"
  25     }
  26 }