From a0c5dac5046b148c4f527bc8bdab46c13c5ead4c Mon Sep 17 00:00:00 2001 From: Jephte Clain Date: Tue, 21 Oct 2025 10:10:07 +0400 Subject: [PATCH] support d13 --- bin/_runphp_build-all | 2 +- runphp/dot-build.env.dist | 2 +- runphp/dot-runphp.conf | 2 +- runphp/runphp | 4 ++-- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/bin/_runphp_build-all b/bin/_runphp_build-all index c6d0f4f..457abc4 100755 --- a/bin/_runphp_build-all +++ b/bin/_runphp_build-all @@ -19,7 +19,7 @@ export RUNPHP_BUILD_FLAVOUR= runphp=("$MYDIR/../runphp/runphp" --bs) [ -z "$force" ] && runphp+=(--ue) -for RUNPHP_DIST in d12 d11; do +for RUNPHP_DIST in d13 d12 d11; do for RUNPHP_BUILD_FLAVOUR in +ic none; do flavour="$RUNPHP_BUILD_FLAVOUR" [ "$flavour" == none ] && flavour= diff --git a/runphp/dot-build.env.dist b/runphp/dot-build.env.dist index 7baed50..1d19470 100644 --- a/runphp/dot-build.env.dist +++ b/runphp/dot-build.env.dist @@ -15,7 +15,7 @@ PRIVAREG= # Ne pas toucher à partir d'ici REGISTRY=pubdocker.univ-reunion.fr/dist -DIST=d12 +DIST=d13 IMAGENAME=nulib/ #DEVUSER_USERENT=user:x:1000:1000:User,,,:/home/user:/bin/bash #DEVUSER_GROUPENT=user:x:1000: diff --git a/runphp/dot-runphp.conf b/runphp/dot-runphp.conf index 0c2f16a..1906caa 100644 --- a/runphp/dot-runphp.conf +++ b/runphp/dot-runphp.conf @@ -4,5 +4,5 @@ RUNPHP= # Si RUNPHP n'est pas défini, les variables suivantes peuvent être définies -#DIST=d12 +#DIST=d13 #REGISTRY=pubdocker.univ-reunion.fr/dist diff --git a/runphp/runphp b/runphp/runphp index 10486e3..f534d5a 100755 --- a/runphp/runphp +++ b/runphp/runphp @@ -41,7 +41,7 @@ BUILD_FLAVOUR= ## ici # version de debian à utiliser pour l'image -# d12=php8.2, d11=php7.4, d10=php7.3 +# d13=php8.4 d12=php8.2, d11=php7.4, d10=php7.3 DIST= # Nom de base de l'image (sans le registry), e.g prefix/ @@ -91,7 +91,7 @@ if [ -f "$MYDIR/runphp.userconf.local" ]; then source "$MYDIR/runphp.userconf.local" fi -DEFAULT_DIST=d12 +DEFAULT_DIST=d13 if [ -n "$RUNPHP_STANDALONE" ]; then PROJDIR="$RUNPHP_PROJDIR"