bc5882432b
We stick to two rules here: * -o options come before -O * pool-specific options are wedged in between -o and -O (e.g. compatibility=grub2) I don't know if that was a deliberate policy, I'm just trying to guess what the pattern was Signed-off-by: Antoine Beaupré <anarcat@debian.org> Signed-off-by: Richard Laager <rlaager@wiktel.com>