С php 5.4 на linux x86_64, как я могу изменить ярлык, который используется для выхода из REPL (то есть интерактивной среды php, которую вы запускаете, выдав php -a в терминале), чтобы она отличалась от ctrl+c?
Чрезвычайно раздражает удар по ctrl+c только для потери ранее выполненной работы.Соответствующие терминалы, включая bash, zsh и python, используют ctrl+c для очистки ввода, а не для завершения всего.