diff options
author | Sylvestre Ledru <sledru@mozilla.com> | 2018-09-14 08:41:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-14 08:41:05 +0200 |
commit | c0aa58b4f79ac334667a8c24541c69db89475c4f (patch) | |
tree | 013c55750cffdc64e077866552bfd07480ecb5a2 | |
parent | 184ee4c3289cdb6574f1e041d0f295e97e491bc0 (diff) |
Ripgrep is also available in Ubuntu (from Cosmic)
-rw-r--r-- | README.md | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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 |