Php interactive shell saves commands history when you exit it using 'quit'. But it throws all you history away when you exit using Ctrl+C. It is common practice to save history on SIGINT exit (mysql, mongo, etc.)
I would like to implement SIGINT handler for interactive shell to save history on Ctrl+C exit. Threre is request on bugs.php.net for this feature https://bugs.php.net/bug.php?id=67496. I have created pull request https://github.com/php/php-src/pull/727 but was advised to create RFC to discuss this change. So could you provide some feedback. Kind regards, Dmitry Saprykin
