intrigeri wrote (27 Feb 2013 17:26:37 GMT) : > I think that my question still stands:
> What grub.d/ facility allows to modify config snippets generated by > another grub.d/ script?? Actually, I was thinking about it while walking, and I think it mostly depends on whether a grub.d/* script can change the environment for the next ones (and thus change GRUB_CMDLINE_LINUX before 10_linux runs), or if each is invoked in a clean environment. Cheers, -- intrigeri | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
