Builder for live images based on Debian

Luca Boccassi 24bfe093f8 Create local /etc/os-release with metadata about the live image ... Add IMAGE_ID=live and BUILD_ID set to a human-readable SOURCE_DATE_EPOCH. If building sid, also fix the broken VERSION_CODENAME so that it matches reality.		2024-08-09 23:48:37 +01:00
data/debian-cd	Fixed udeb handling	2024-02-23 16:53:17 +00:00
debian	d/control: bump Standards-Version to 4.7.0, no changes	2024-05-25 12:23:13 +01:00
examples	Reproducible install-info	2024-02-23 16:54:07 +00:00
frontend	get rid of a couple of useless variables	2020-05-04 13:21:12 +01:00
functions	Fixed: select the package name for firmware packages	2024-07-17 20:31:48 +02:00
manpages	Introduce '--debian-installer-distribution git'.	2022-05-17 08:48:44 +02:00
scripts	Create local /etc/os-release with metadata about the live image	2024-08-09 23:48:37 +01:00
share	hooks: Remove /etc/.pwd.lock and /run/mount/utab	2024-04-29 16:27:41 +00:00
test	binary_bootloader_splash: New script	2024-04-29 16:27:41 +00:00
COPYING	Switching to GPL3+.	2011-03-09 18:22:29 +01:00
Makefile	Mark the phony targets in the Makefile	2022-01-07 10:12:28 +01:00