Это - проблема с setenforce. Введите команду как setenforce 0 как SUDO. Это решает вопрос.
Если вы не хотите изменять источники, нет, вы не можете. F1 жестко настроена на страницы справки для большинства (если не для всех приложений), F10 можно отключить, но вы все равно получите ~
в нижележащей оболочке. Это видно и на TTY.
Он не запрограммирован жестко (хотя некоторые программы, которые вы запускаете внутри терминала , могут быть ).
При проверке Ubuntu 13.04 его версия gnome-terminal - 3.61, которая поддерживает диалог для изменения сочетаний клавиш :