diff --git a/debian13/Dockerfile b/debian13/Dockerfile index 98dda2b..2cbe54a 100644 --- a/debian13/Dockerfile +++ b/debian13/Dockerfile @@ -18,12 +18,16 @@ RUN sed -i 's|deb.debian.org|mirrors.ustc.edu.cn|g' /etc/apt/sources.list.d/debi pkg-config \ which \ makeself \ + aria2 \ && rm -rf /var/lib/apt/lists/* RUN git config --global url."https://wangguofang.net/github.com/".insteadOf "https://github.com/" -RUN curl --fail --location --output boost.tar.bz2 \ +RUN aria2c \ + --max-connection-per-server=1 --retry-wait=3 \ + --out=boost.tar.bz2 \ https://mirrors.aliyun.com/blfs/conglomeration/boost/boost_1_83_0.tar.bz2 \ + https://archives.boost.io/release/1.83.0/source/boost_1_83_0.tar.bz2 \ && mkdir src \ && tar --extract --bzip2 --file=boost.tar.bz2 --directory=src --strip-components=1 \ && rm boost.tar.bz2 \