From b266a99266da8fa1d4e4560e879d6d32f4171ca0 Mon Sep 17 00:00:00 2001 From: Preston Hunt Date: Fri, 28 Aug 2026 12:21:51 -0700 Subject: [PATCH] ripgrep: install from apt instead of a pinned 2019 .deb The 'ripgrep not available via apt install' comment predates Ubuntu 20.04; ripgrep has been in universe since then and this script already refuses to run on anything older than 22.04. The hard-coded 11.0.2 release from 2019 was overwriting whatever the archive provides -- on 24.04 that is 15.1.0 -- and did so on every run, since dpkg -i happily downgrades and re-installs. Also drops a download into a predictable /tmp path. Co-Authored-By: Claude Opus 5 (1M context) --- setup | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/setup b/setup index df939ed..391ad4e 100755 --- a/setup +++ b/setup @@ -323,9 +323,7 @@ install_ccache() { } install_ripgrep() { - # ripgrep not available via apt install so have to install this way - get_internet_file "https://github.com/BurntSushi/ripgrep/releases/download/11.0.2/ripgrep_11.0.2_amd64.deb" /tmp/ripgrep.deb - sudo dpkg -i "$_" + install_package ripgrep } install_fd() {