debian-edu-fai+itzks/fai, branch 2024.02.01.2Debian Edu FAI with ITZkS Overlayfai/config/package_config/EDU: Fix package name (systemd-timerd -> systemd-timesyncd).2024-02-01T15:24:20+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2024-02-01T15:24:20+00:007cf5da4fbfda5f6aed992f93b1c39340fd9010d0
fai/config/package_config/EDU: Assure installation of systemd-timerd.2024-02-01T15:09:33+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2024-02-01T15:09:00+00:0044ab6d4f44dbba8093bb9917be726438697a1781
fai/config/disk_config/LVM_EDU_*_LEGACY: Add BIOS Legacy partition tables again. Some old UEFIs/BIOSes can't handle BIOS legacy on GPT partition tables.2024-01-10T21:45:24+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2024-01-10T21:29:23+00:00ee7791447e74d4eda4c58325c7dbd2b3bf8876bd
fai/config/disk_config/LVM_EDU*: Drop /dev/vg_system/usr volume. Causes conflicts with usr-merge initiative in Debian.2024-01-10T21:45:18+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2024-01-10T21:28:30+00:00e47fbedd127bbdbffc4c74d31c29885e24a874fe
fai/config/class/40-parse-profiles.sh: Enlarge menu window width by 5 chars.2024-01-10T21:45:12+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2024-01-10T21:26:42+00:00671a73df68a2a23d5d824b804bfb9655ad5fc967
fai/config/disk_config: Enlarge system partitions generously, so that system installation don't fail because of low-disk space.2023-10-03T21:07:59+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2023-10-03T21:07:12+00:00a04cb5acf3bb9d78ff9810457c1dfe824efb9c8c
fai/config/disk_config/LVM_EDU_MINIMAL: Fix LV name (home -> srv).2023-10-03T21:05:44+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2023-10-02T21:21:53+00:00a5a744851a9f1cdaa9033ff53a767bb42ea5aa30
fai/config/scripts/*/20-update-security-group-conf: Don't fail script if not on DEBIAN_11.2023-09-29T07:39:41+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2023-09-29T07:39:24+00:0091545602f057db01ef1b54bbc75f712c4912ab0a
fai/config/_obsolete-files.d/debian-edu-fai.removed: Add .asc files which got replaced by .gpg files.2023-09-26T23:24:46+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2023-09-26T23:23:49+00:00dbdf2c7f973e0f6c4cb4e22b6530af2c2fb41800