On Sun, 24 Dec 2017 12:25:05 -0700, Leonid Isaev via arch-general wrote:
What are those ctrl-* characters (like ^Q)?
Ok, the config isn't entirely self-explaining ;). The ^ marks the hotkey. In this case pushing the q-key without the Ctrl-key directly boots the particular Linux install. It's also possible to select a menu entry by using the cursor up and down keys instead of using the hotkey.