更改PHP交互式shell历史记录的保存路径

时间:2012-12-07 17:54:53

标签: logging readline php interactive-shell

我曾经找到一种方法来禁用PHP的交互式shell php -a的会话记录。我该如何重新开启?有没有办法将日志记录发送到~/.php_history以外的另一个文件?我想我可能已将输出发送到/dev/null

编辑:它显然仍保存到.php_history文件。在完全退出shell之前,它不会保存。我仍然想知道如何将历史记录移动到另一个文件。

1 个答案:

答案 0 :(得分:1)

不,目前(5.3.10 ubuntu)文件名~/.php_history在php源代码中是硬编码的。观看:

sapi/cli/php_cli.c (line 1127)

如果您确实需要其他位置的历史记录文件,则可以使用符号链接。例如:

touch /tmp/.php_history
ln -s /tmp/.php_history /home/your_name/.php_history

您也可以考虑向php开发人员发送功能请求。他们可能会为此引入一个php.ini指令。