diff --git a/dockerfiles/extra_libs/common_libs.txt b/dockerfiles/extra_libs/common_libs.txt index bc0c1fe84dedbb5b1408046149e6d3a5cbe80e88..4a33fd7de2c64cf6a502e3a0d5f2523aacc53c12 100644 --- a/dockerfiles/extra_libs/common_libs.txt +++ b/dockerfiles/extra_libs/common_libs.txt @@ -1,4 +1,11 @@ # List with the additional libraries to install in devenv image +# +# bat +# https://github.com/sharkdp/bat/releases/download/v0.25.0/bat-musl_0.25.0_musl-linux-amd64.deb +# +# ripgrep +# https://github.com/BurntSushi/ripgrep/releases/download/14.1.1/ripgrep_14.1.1-1_amd64.deb +# # lsd-musl # https://api.github.com/repos/lsd-rs/lsd/releases/latest # curl -s https://api.github.com/repos/jgm/pandoc/releases/latest \