Эти ключи обрабатываются эмулятором терминала. Readline не играет абсолютно никакой роли в этой истории.
В konsole
вы можете изменить ярлыки в настройках профиля. В gnome-terminal
них встроены и не могут быть изменены. Я не уверен насчет других эмуляторов терминала, вам нужно ознакомиться с документацией или просмотреть меню.
Нет способа изменить его независимо от терминала-эмулятора.