Merge pull request #574 from evandroforks/fix_ubunut_ripgrep

Fixed ripgrep not installing on ubuntu anymore
This commit is contained in:
Damien Elmes 2020-04-21 13:50:26 +10:00 committed by GitHub
commit 1661cad801
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 2 deletions

View File

@ -4,7 +4,7 @@ set -eu -o pipefail ${SHELLFLAGS}
# Checking version to force it fail the build if rg is not installed.
# Because `set -e` does not work inside the subshell $()
rg --version > /dev/null 2>&1
rg --version > /dev/null 2>&1 || echo "Error: ripgrep is not installed!"
files=$(rg -l '[^\n]\z' -g '!*.{png,svg,scss,json,sql}' || true)

View File

@ -203,7 +203,10 @@ jobs:
set -x
sudo apt update
sudo apt install portaudio19-dev gettext
sudo snap install ripgrep --classic
# https://github.com/BurntSushi/ripgrep/issues/1232
# sudo apt-get install ripgrep
curl -LO https://github.com/BurntSushi/ripgrep/releases/download/11.0.2/ripgrep_11.0.2_amd64.deb
sudo dpkg -i ripgrep_11.0.2_amd64.deb
- name: Set up brew ripgrep, pyaudio, gettext
if: matrix.os == 'macos-latest'