diff options
| author | Markus Dosch <757612+markusdosch@users.noreply.github.com> | 2021-10-12 17:08:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-12 11:08:14 -0400 |
| commit | fc69bd366c74bd888deed67fd2e654734fbb3fec (patch) | |
| tree | 9f8053280a89437d7374415924336b22725bae98 | |
| parent | 9b01a8f9ae53ebcd05c27ec21843758c2c1e823f (diff) | |
readme: update install commands for Debian/Ubuntu
This got overlooked during the last release.
PR #2016
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -272,8 +272,8 @@ then ripgrep can be installed using a binary `.deb` file provided in each [ripgrep release](https://github.com/BurntSushi/ripgrep/releases). ``` -$ curl -LO https://github.com/BurntSushi/ripgrep/releases/download/12.1.1/ripgrep_12.1.1_amd64.deb -$ sudo dpkg -i ripgrep_12.1.1_amd64.deb +$ curl -LO https://github.com/BurntSushi/ripgrep/releases/download/13.0.0/ripgrep_13.0.0_amd64.deb +$ sudo dpkg -i ripgrep_13.0.0_amd64.deb ``` If you run Debian Buster (currently Debian stable) or Debian sid, ripgrep is |