support d13

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=

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:

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

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"