diff --git a/dockerfiles/devenv.Dockerfile b/dockerfiles/devenv.Dockerfile index 46a6d7ac245d88cdae56d2bcabf92ae7f92f6bf7..5faab12b1d27ea94c9fc843e4a9299a1efe12300 100644 --- a/dockerfiles/devenv.Dockerfile +++ b/dockerfiles/devenv.Dockerfile @@ -26,6 +26,7 @@ ENV LC_ALL en_US.UTF-8 RUN apt-get update && \ apt-get -y install --no-install-recommends \ apt-transport-https \ + bat \ ca-certificates \ checkinstall \ clang-format clang-tidy clang-tools clang \ @@ -46,6 +47,7 @@ RUN apt-get update && \ net-tools \ openssh-client \ python3-pip \ + ripgrep \ software-properties-common \ trash-cli \ valgrind \ diff --git a/dockerfiles/extra_libs/common_libs.txt b/dockerfiles/extra_libs/common_libs.txt index e3ce168f0dd307520ea2c5003888ef6b9ce2af11..bc0c1fe84dedbb5b1408046149e6d3a5cbe80e88 100644 --- a/dockerfiles/extra_libs/common_libs.txt +++ b/dockerfiles/extra_libs/common_libs.txt @@ -1,7 +1,12 @@ # List with the additional libraries to install in devenv image -# bat-musl -https://github.com/sharkdp/bat/releases/download/v0.24.0/bat-musl_0.24.0_amd64.deb # lsd-musl -https://github.com/lsd-rs/lsd/releases/download/v1.1.2/lsd-musl_1.1.2_amd64.deb -# ripgrep -https://github.com/BurntSushi/ripgrep/releases/download/14.1.0/ripgrep_14.1.0-1_amd64.deb \ No newline at end of file +# https://api.github.com/repos/lsd-rs/lsd/releases/latest +# curl -s https://api.github.com/repos/jgm/pandoc/releases/latest \ +# | grep "browser_download_url.*deb" \ +# | cut -d : -f 2,3 \ +# | tr -d \" \ +# | wget -qi - +# URL="https://api.github.com/repos/jgraph/drawio-desktop/releases/latest" +# curl -s https://api.github.com/repos/lsd-rs/lsd/releases/latest | awk -F\" '/browser_download_url.*.deb/{system("curl -OL " $(NF-1))}' +# curl -s $URL | awk -F\" '/browser_download_url.*.deb/{system("curl -OL " $(NF-1))}' +https://github.com/lsd-rs/lsd/releases/download/v1.1.5/lsd-musl_1.1.5_amd64.deb