Je veux ajouter une option à GRUB_CMDLINE_LINUX_DEFAULT sans modifier aucun fichier sur le système. La raison en est que je veux l'appliquer en installant un package de pilotes, mais pour l'instant je n'ai trouvé aucun moyen de le faire sans toucher à /etc/default/grub ou /etc/grub/10_linux. J'ai essayé de l'ajouter avec le script ci-dessous qui devrait être exécuté avant 10_linux mais cela n'a aucun effet :
$ cat /etc/grub.d/09_linux_vmalloc
#!/bin/sh
set -e
export GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT vmalloc=256MB"
