From 899a4ecf56df6367c4154a095d2dec292ed11172 Mon Sep 17 00:00:00 2001 From: NI Date: Fri, 20 May 2022 10:25:37 +0800 Subject: [PATCH] Docker Use ubuntu:devel as intermediate builder image, since it provides the most up to date software --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index a6f5686..21a63db 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,5 +1,5 @@ # Build the build base environment -FROM ubuntu:rolling AS base +FROM ubuntu:devel AS base RUN set -ex && \ cd / && \ echo '#!/bin/sh' > /try.sh && echo 'res=0; for i in $(seq 0 36); do $@; res=$?; [ $res -eq 0 ] && exit $res || sleep 10; done; exit $res' >> /try.sh && chmod +x /try.sh && \