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

Question

我曾经找到一种通过 PHP 的交互式 shell php -a 禁用 session 日志记录的方法。我如何重新打开它？除了 ~/.php_history 之外，还有其他方法可以将日志记录发送到另一个文件吗？我想我可能已将输出发送到 /dev/null。

编辑:它显然仍然保存到 .php_history 文件中。直到您完全退出 shell 后才会保存。我仍然想知道如何将历史记录移动到另一个文件。

Answer 1

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

sapi/cli/php_cli.c (line 1127)

如果您确实需要其他位置的历史文件，您可以使用符号链接(symbolic link)。例如:

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

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