Depois de várias tentativas de consertar isso de várias maneiras, finalmente descobri como usar dumpkeys
e loadkeys
para modificar a "tabela de conversão de teclado" do kernel. Aqui estão as strings loadkeys
para definir RightAlt + F1 através de RightAlt + F12 para seus respectivos deslocamentos de t12 :
altgr keycode 59 = Console_13
altgr keycode 60 = Console_14
altgr keycode 61 = Console_15
altgr keycode 62 = Console_16
altgr keycode 63 = Console_17
altgr keycode 64 = Console_18
altgr keycode 65 = Console_19
altgr keycode 66 = Console_20
altgr keycode 67 = Console_21
altgr keycode 68 = Console_22
altgr keycode 87 = Console_23
altgr keycode 88 = Console_24
Por que o Ubuntu não inclui isso na configuração padrão, ainda é um mistério. :)