如何设置最大 leiningen repl 历史计数?
how to set the maximum leiningen repl history count?
lein repl 的命令历史似乎在 500 个命令时达到顶峰。有没有办法增加这个数字或将其设置为无限制?
Leiningen 使用 readline(通过 rlwrap
)或 jline 作为其 REPL 输入,默认为后者。这两者都是负责将历史记录保存到文件中的。在任何一种情况下,它们都可以通过配置 ~/.inputrc
来配置,通常配置 readline 输入。因此,如果您想配置历史计数,请尝试在 ~/.inputrc
中添加以下设置
set history-size 1000
请注意,我不认为 jline 实现尊重 ~/.inputrc
中的所有 readline 配置,但它绝对应该尊重 history-size
.
lein repl 的命令历史似乎在 500 个命令时达到顶峰。有没有办法增加这个数字或将其设置为无限制?
Leiningen 使用 readline(通过 rlwrap
)或 jline 作为其 REPL 输入,默认为后者。这两者都是负责将历史记录保存到文件中的。在任何一种情况下,它们都可以通过配置 ~/.inputrc
来配置,通常配置 readline 输入。因此,如果您想配置历史计数,请尝试在 ~/.inputrc
set history-size 1000
请注意,我不认为 jline 实现尊重 ~/.inputrc
中的所有 readline 配置,但它绝对应该尊重 history-size
.