From 04a8f4efb94c86f207d4021b143e41a0702aa031 Mon Sep 17 00:00:00 2001 From: Julien Da Silva Date: Mon, 31 Aug 2026 14:16:20 +0200 Subject: [PATCH] Add Debian 13 (trixie) to menu.cfg entry for PXE cf bug 4451 https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=4451 --- config/debian/menu.cfg | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/config/debian/menu.cfg b/config/debian/menu.cfg index ebb35c4..295367f 100644 --- a/config/debian/menu.cfg +++ b/config/debian/menu.cfg @@ -1,6 +1,7 @@ MENU BACKGROUND /config/debian/debian_background.jpg # tags legend: # - sid: next debian version (aka unstable) +# - deb13: debian 13 (aka trixie) # - deb12: debian 12 (aka bookworm) # - deb11: debian 11 (aka bullseye) # - amd64: amd64 architecture @@ -20,6 +21,15 @@ MENU BACKGROUND /config/debian/debian_background.jpg # - cinnamon: install cinnamon as desktop environment # - uefi: formats disk with a gpt partition table instead of a mbr partition table (only suitable for systems booting in uefi mode) # - cipher: activates full disk encryption (FDE) + +label deb13_amd64 + menu label deb13 amd64 + kernel installer/debian/trixie/amd64/linux + append vga=normal initrd=/installer/debian/trixie/amd64/initrd.gz -- quiet + +label separator + menu label --- + label deb12_amd64 menu label deb12 amd64 kernel installer/debian/bookworm/amd64/linux