Recientemente descubrí xbindkeys y xdotool. Me preguntaba si hay manera de reasignar una tecla a otra diferente si se presiona dos veces seguidas.
Esto es lo que estoy tratando de lograr: quiero iniciar "Guake Terminal" si presiono CTRL dos veces seguidas (rápido).