kulupu jyn@jyn@tech.lgbt
also i can't get them to work. can anyone running linux get the following thing to work?
ctrl+alt+f3 to switch to a new virtual console
run fbterm so you can see unicode sequences. (if this is a pain to install, you can also just paste the output from hexdump - use Ctrl-D to exit, not Ctrl-C)
run hexdump -C so your shell doesn't interpret escape sequences
press right alt (or alt-gr if it's on your keyboard), and simultaneously type 1234 on the numpad
it should print α (unicode hex). unfortunately mine only prints Ρ (unicode decimal) :(
kulupu jyn@jyn@tech.lgbt
oh goddammit i have found the issue
keycode 100 should be set to AltGr
; sudo dumpkeys | rg '= [aA]lt'
keycode 56 = Alt
keycode 100 = Alt
keycode 125 = Alt
keycode 126 = Alt