терминал — Как изменить ярлык выхода в php repl, чтобы быть Ctrl + D?

С php 5.4 на linux x86_64, как я могу изменить ярлык, который используется для выхода из REPL (то есть интерактивной среды php, которую вы запускаете, выпуская php -a в терминале) так что это другая форма ctrl+c?

Это очень раздражает, чтобы ударить ctrl+c только потерять ранее выполненную работу. Адекватные терминалы, включая bash, zsh и python, используют ctrl+c очистить ввод, а не завершить все это.