>I think that /etc/default/grub-install should be sourced from grub-install at its first line and that would be fine.
I see the /etc/default is the right place to remember such an option. However, all the other files in there just set options, e.g.
UPPERCASE_OPTION=foo
So putting an actual command line in is a new paradigm. That could be OK, but it is new. You could instead have grub-install read an environment variable:
OPTIONS="--ignore-stage1_5"
or maybe more specifically:
IGNORE_STAGE1_5=true
It probably doesn't really matter. I am thinking more about whether more options or variations might want to be set there in the future. The options might be a bit more complicated, and may not be so easily sourced as just giving an alternate command line.
>I think that /etc/default/ grub-install should be sourced from grub-install at its first line and that would be fine.
I see the /etc/default is the right place to remember such an option. However, all the other files in there just set options, e.g.
UPPERCASE_ OPTION= foo
So putting an actual command line in is a new paradigm. That could be OK, but it is new. You could instead have grub-install read an environment variable:
OPTIONS= "--ignore- stage1_ 5"
or maybe more specifically:
IGNORE_ STAGE1_ 5=true
It probably doesn't really matter. I am thinking more about whether more options or variations might want to be set there in the future. The options might be a bit more complicated, and may not be so easily sourced as just giving an alternate command line.