[03:33] <PingDonga> recién terminé de hacer el upgrade de 16.04 a 18.04.
[03:33] <PingDonga> en gnome terminal, usando vim, no me funciona la tecla escape.
[03:34] <PingDonga> tengo que recurrir a ctrl-c o ctrl-f2
[03:34] <PingDonga> alguien sabe que tengo que modificar para que funcione como siempre la tecla escape?