On Thu, 24 Nov 2016 10:39:58 +0100 Michael Stapelberg <stapelb...@debian.org> wrote: > Package: vmdebootstrap > Version: 1.7-1 > Severity: wishlist > Tags: patch > > Since dpkg-managed files cannot be placed on a FAT32 file system¹, it is > beneficial for platforms such as the Raspberry Pi 3 to mount the FAT32 > boot partition of the image in /boot/firmware instead of /boot, and have > maintainer scripts/hooks manage the files in /boot/firmware. > > The attached patch adds the --bootdirfmt setting, which can be changed > from its default value %s/boot/ to e.g. %s/boot/firmware/. > > Please consider merging the attached patch. Thank you!
Why should the argument be a format string? I can't see why it would ever be other than "%s" followed by the boot mountpoint, in which case the "%s" is a redundant bit for users to remember (or forget, screwing up the image). Ben. -- Ben Hutchings Beware of programmers who carry screwdrivers. - Leonard Brandwein
signature.asc
Description: This is a digitally signed message part
