rg/install.sh

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