3 ms·
I don't use Ubuntu or Debian. I honestly have not much idea about how any of it works. Like I said, I looked into it and balked. The Linux distro I use has a mu
by burntsushi 8y ago
I don't use Ubuntu or Debian. I honestly have not much idea about how any of it works. Like I said, I looked into it and balked. The Linux distro I use has a much simpler build system. It had ripgrep in its repos in a matter of days from the initial release IIRC.
ripgrep's releases do include binary debs, but there's no auto-update:
$ curl -LO https://github.com/BurntSushi/ripgrep/releases/download/0.10.0/ripgrep_0.10.0_amd64.deb
$ sudo dpkg -i ripgrep_0.10.0_amd64.deb
- StavrosK 8y agoYeah, unfortunately those are versioned so I can't even make a script to have it download https://someurl/ripgrep_latest_amd64.deb https://someurl/ripgrep_latest_amd64.deb. I just added `cargo install ripgrep` to my script but that might prove too slow every time, so I'll see. Thank you!
- burntsushi 8y agoHere's a quick little script I put together that should do the trick. It's idempotent, so it won't do anything if there are no updates. I did use `jq` for convenience though. #!/bin/sh curvers= if command -V rg > /dev/null 2>&1; then curvers="$(rg -V | cut -d' ' -f2)" fi latesturl="https://api.github.com/repos/BurntSushi/ripgrep/releases/latest" latestvers="$(curl -s "$latesturl" | jq -r .tag_name)" if [ "$curvers" = "$latestvers" ]; then echo "ripgrep is up to date" exit 0 fi name="ripgrep_${latestvers}_amd64.deb" url="https://github.com/BurntSushi/ripgrep/releases/download/$latestvers/$name" (cd /tmp && curl -LO "$url" && sudo dpkg -i "$name") echo "ripgrep updated from $curvers to $latestvers"