How to set the length of FileHistory?

[liangxin1300]

Hi:
I am trying to use prompt_toolkit in project crmsh;
I'm using FileHistory to record the inputs;
How to set the length of the history file, like what readline.set_history_length() does?
Regards,
Xin

[jonathanslenders]

Hi @liangxin1300,

Right now there is no way to configure the history size. You could of course create a custom History class and pass that instead. I'm not sure whether it's worth the effort to make this configurable. What is the reason you'd like to limit the length?

Related: fish also does not allow this to be configurable, but has a fixed size:
fish-shell/fish-shell#940

[liangxin1300]

Thanks!