php interactive shell: save history on SIGINT exit
| From: | Dmitry Saprykin | Date: | Mon, 21 Jul 2014 09:12:26 +0000 |
| Subject: | php interactive shell: save history on SIGINT exit | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-75747@lists.php.net to get a copy of this message | ||
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