Ricardo Pardini bba856bb57 partitioning: efi: introduce UEFI_MOUNT_POINT_SKIP_FSTAB, if set to yes, skips /etc/fstab entry for the ESP ...

- sometimes we just don't want the ESP listed in the fstab, otherwise works the same

2023-10-14 00:03:12 +02:00

..

compress-checksum.sh

Use native xz

2023-04-18 09:29:17 +02:00

fingerprint.sh

Add / modify (c) in bash scripts (#4922)

2023-03-09 18:30:40 +01:00

initrd.sh

config/lib/exts: run shellfmt

2023-08-22 14:28:14 +02:00

loop.sh

lib: fix: replace undue export statements with declare -g

2023-03-31 09:12:44 +02:00

partitioning.sh

partitioning: efi: introduce UEFI_MOUNT_POINT_SKIP_FSTAB, if set to yes, skips /etc/fstab entry for the ESP

2023-10-14 00:03:12 +02:00

rootfs-to-image.sh

hashed-OCI-revisioned-debs: introduce "reversioning" of .deb packages

2023-08-12 09:58:32 +02:00

write-device.sh

Add / modify (c) in bash scripts (#4922)

2023-03-09 18:30:40 +01:00