joao.dubas/ide
1
0
Fork 0
Code Issues 1 Pull Requests 1 Packages Projects Releases Wiki Activity

fix: rename ripgrep's deb file

Browse Source 
This was changed in version 14.0.0
This commit is contained in:
Joao P Dubas 2024-01-02 15:28:49 +00:00
parent 20c5f4f816
commit 06cd3192de
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Dockerfile
View File

@ -95,7 +95,7 @@ ENV BAT_VERSION 0.24.0
ENV BAT_FILE bat_${BAT_VERSION}_amd64.deb
ENV BAT_URL https://github.com/sharkdp/bat/releases/download/v${BAT_VERSION}/${BAT_FILE}
ENV RG_VERSION 14.0.3
ENV RG_FILE ripgrep_${RG_VERSION}_amd64.deb
ENV RG_FILE ripgrep_${RG_VERSION}-1_amd64.deb
ENV RG_URL https://github.com/BurntSushi/ripgrep/releases/download/${RG_VERSION}/${RG_FILE}
ENV DO_VERSION 24.0.7
ENV DO_URL https://download.docker.com/linux/static/stable/x86_64/docker-${DO_VERSION}.tgz