On 19 November 2010 22:13, Metatech <[email protected]> wrote: > On Fri, 12 Nov 2010 18:26:15, metatech wrote : > >> set F1=ctrl-x >> With grub 1.98, this works fine, but with grub trunk, this does not work. >
Hello, I noticed afterwards that grub 1.99(beta) conveniently already defines some alternate keys : F2 for Ctrl-C F10 for Ctrl-X It is even documented on the screen ! It was so visible that I did not see it :-( I'm glad that what I needed is actually already available... Regards, metatech _______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
