You'd need to figure out for which terminals Debian is mapping each one, detect the terminal, then append to the array.