diff options
| author | Sylvestre Ledru <sledru@mozilla.com> | 2018-08-17 12:35:43 +0200 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2018-08-17 06:35:43 -0400 |
| commit | 0958837ee104985412f08e81b6f08df1e5291042 (patch) | |
| tree | 867a8e82e5adb5408fe349b91dd5c3f84c26bf81 /README.md | |
| parent | 94be3bd4bb32850f682eae6f490156064f90b7ee (diff) | |
readme: ripgrep is available in Debian Buster
PR #1016
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -275,6 +275,12 @@ $ curl -LO https://github.com/BurntSushi/ripgrep/releases/download/0.9.0/ripgrep $ sudo dpkg -i ripgrep_0.9.0_amd64.deb ``` +If you run Debian Buster (currently Debian testing) or Debian sid, ripgrep is +[officially maintained by Debian](https://tracker.debian.org/pkg/rust-ripgrep). +``` +$ 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 |