From c0aa58b4f79ac334667a8c24541c69db89475c4f Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Fri, 14 Sep 2018 08:41:05 +0200 Subject: [PATCH] Ripgrep is also available in Ubuntu (from Cosmic) --- README.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 9e2b01f..c15a3cd 100644 --- a/README.md +++ b/README.md @@ -288,8 +288,7 @@ $ # (Or using the attribute name, which is also ripgrep.) If you're a **Debian** user (or a user of a Debian derivative like **Ubuntu**), then ripgrep can be installed using a binary `.deb` file provided in each -[ripgrep release](https://github.com/BurntSushi/ripgrep/releases). Note that -ripgrep is not in the official Debian or Ubuntu repositories. +[ripgrep release](https://github.com/BurntSushi/ripgrep/releases). ``` $ curl -LO https://github.com/BurntSushi/ripgrep/releases/download/0.10.0/ripgrep_0.10.0_amd64.deb @@ -302,6 +301,11 @@ If you run Debian Buster (currently Debian testing) or Debian sid, ripgrep is $ sudo apt-get install ripgrep ``` +From Cosmic (18.10), ripgrep is also [available in Ubuntu](https://launchpad.net/ubuntu/+source/rust-ripgrep) (same packaging as Debian). +``` +$ sudo apt-get install ripgrep +``` + (N.B. Various snaps for ripgrep on Ubuntu are also available, but none of them seem to work right and generate a number of very strange bug reports that I don't know how to fix and don't have the time to fix. Therefore, it is no