Remap right ctrl, чтобы вести себя как левый ctrl? (в настоящее время печатают такие вещи, как æ ß ¶)

Для людей в феврале 2017 г. & lt; t & lt; Март 2018 года, который пришел на этот сайт через google, простое решение:

gnome-terminal --disable-factory -e "cmd"

работает и запускает gnome-terminal синхронным / блокирующим образом, как ожидалось.

Проверено в: