I have a few profiles on my notebook, which I use according to the type of network connection I want. Normally, I want the configuration for my home lan and have it set as the default profile in grub. I can then easily change profiles to another network connection. However, if I want to boot directly into another profile, I have to edit the Boot Options line, to change the profile. Using F3 to select a profile doesn't work. If I remove the default profile from grub, the F3 method now works. Is there any way to have a default profile and still be able to use F3 to select an alternate profile? tnx jk