set_history_length

Set the maximal number of lines which will be written to the history file.

A negative length is used to inhibit history truncation.