Cambiar las teclas de control de la aplicación de terminal

Empecé copiando uno de los ficheros que definen dichas teclas de control de la aplicación de terminal (Control Keys en inglés):
$ mkdir ~/.config/com.ubuntu.terminal/Layouts
$ cp /opt/click.ubuntu.com/com.ubuntu.terminal/0.*/qml/KeyboardRows/Layouts/ScrollKeys.json ~/.config/com.ubuntu.terminal/Layouts/BashKeys.json
He nombrado el fichero nuevo como BashKeys.json y he cambiado la sección de cabecera:
{
"name" : "Bash Keys",
"short_name" : "Bash",
"buttons": [ ...
Después he metido una tecla nueva así:
{
"main_action" : {
"type": "key",
"text" : "\u21b2",
"key" : "Enter"
}
},
Finalmente, después de iniciar la aplicación de nuevo, aparece un nuevo tipo de teclas de control con el nombre Bash.
Tengo algunos ejemplos más en mi servidor:
Última actualización: jueves, 19 de noviembre de 2015, 20:44:29 CET