fix: VERSION_ID to VERSION_CODENAME

containers/debian/base.Dockerfile

@@ -75,16 +75,17 @@ mkdir -p /etc/apt/source.list.d
 # GCC version and repository
 case ${ID} in
   debian)
-    case ${VERSION_ID} in
-      12) GCC="-12" ;;
-      *) echo "Unsupported VERSION_ID=${VERSION_ID}" ; exit 1 ;;
+    case ${VERSION_CODENAME} in
+      bookworm) GCC="-12" ;;
+      trixie) GCC="-13" ;;
+      *) echo "Unsupported VERSION_CODENAME=${VERSION_CODENAME}" ; exit 1 ;;
     esac ;;
   ubuntu)
     echo "deb http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu/${VERSION_CODENAME} main" > /etc/apt/source.list.d/ubuntu-toolchain.list
-    case ${VERSION_ID} in
-      20.04) GCC="-10" ;;
-      22.04) GCC="-12" ;;
-      *) echo "Unsupported VERSION_ID=${VERSION_ID}" ; exit 1 ;;
+    case ${VERSION_CODENAME} in
+      focal) GCC="-10" ;;
+      jammy) GCC="-12" ;;
+      *) echo "Unsupported VERSION_CODENAME=${VERSION_CODENAME}" ; exit 1 ;;
     esac ;;
   *) echo "Unsupported ID=${ID}" ; exit 1 ;;
 esac