From a0c941b6abae58cdf1ce1a1a52bb9f4baeecdfa3 Mon Sep 17 00:00:00 2001 From: shrukan <29954021+sailorbob134280@users.noreply.github.com> Date: Sat, 24 Dec 2022 12:56:53 -0800 Subject: [PATCH] Made wget output less terrible --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 2407e5c..1e28580 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,7 +4,7 @@ FROM gcc:12 RUN apt-get update && apt-get install -y python3 ninja-build python3-pip gdb graphviz git RUN pip install meson gcovr # The version of doxy in the Debian repos is too old to support concepts, so we grab the latest release and manually install -RUN wget https://www.doxygen.nl/files/doxygen-1.9.5.linux.bin.tar.gz && \ +RUN wget --progress=bar:force:noscroll https://www.doxygen.nl/files/doxygen-1.9.5.linux.bin.tar.gz && \ tar -xzf doxygen-1.9.5.linux.bin.tar.gz && \ cd doxygen-1.9.5 && \ make install && \