1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-01-19 05:49:14 +02:00

doc: clarify Debian/Ubuntu install instructions

Thanks @x4121 for the tip!
This commit is contained in:
Andrew Gallant 2018-02-20 07:01:49 -05:00
parent 94768881e1
commit d09538c974
No known key found for this signature in database
GPG Key ID: B2E3A4923F8B0D44

View File

@ -243,8 +243,8 @@ $ nix-env --install ripgrep
$ # (Or using the attribute name, which is also ripgrep.) $ # (Or using the attribute name, which is also ripgrep.)
``` ```
If you're a **Debian** or an **Ubuntu** user, then ripgrep can be installed If you're a **Debian** user (or a user of a Debian derivative like **Ubuntu**),
using a binary `.deb` file provided in each then ripgrep can be installed using a binary `.deb` file provided in each
[ripgrep release](https://github.com/BurntSushi/ripgrep/releases). Note that [ripgrep release](https://github.com/BurntSushi/ripgrep/releases). Note that
ripgrep is not in the official Debian or Ubuntu repositories. ripgrep is not in the official Debian or Ubuntu repositories.