Eu fiz mais algumas pesquisas e tentei várias soluções diferentes, finalmente resolvi com uma solução que não resulta em nenhum atraso ou inconsistência. A solução abaixo não funciona apenas para terminal, mas também para outras aplicações.
Ferramentas que usei:
xdotool , xbindkeys
(1) instale xdotool e xbindkeys :
$ sudo apt-get update
$ sudo apt-get install xdotool
$ sudo apt-get install xbindkeys
(2) crie o arquivo de configuração xbindkey:
$ xbindkeys -d > ~/.xbindkeysrc
(3) remapear Ctrl-Espaço em xbindkeysrc
"xset r off; xdotool keyup --window 0 space key --clearmodifiers --window 0 KP_Enter; xset r on"
m:0x14 + c:65
Control+Mod2 + space
(4) Matar xbindkeys atuais
Não sei por que isso é necessário, mas o xbindkeysrc de origem não substitui a configuração atual. Assim, você tem que matar xbindkeys
$ killall xbindkeys
$ xbindkeys -f ~/.xbindkeysrc
Tudo pronto.
Bônus
mapear ctrl + ~ para ser /
"xset r off; xdotool keyup --window 0 grave key --clearmodifiers --window 0 slash; xset r on"
m:0x14 + c:49
Control+Mod2 + grave
Felicidades!