diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-10-27 06:27:11 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-10-27 06:27:11 -0700 |
| commit | 9d02ab722536227d488a31f5d580bc41501a7f68 (patch) | |
| tree | 39cd8006d8399cbe70ebfa0887a98cbb99707e00 /mpi | |
| parent | 9144d264ae9600fca5d38affdda262f7ea46282f (diff) | |
| download | txr-9d02ab722536227d488a31f5d580bc41501a7f68.tar.gz txr-9d02ab722536227d488a31f5d580bc41501a7f68.tar.bz2 txr-9d02ab722536227d488a31f5d580bc41501a7f68.zip | |
Fix *listener-hist-len* in ~/.txr_profile not working.
On startup, the history is trimmed to 100 lines regardless of
the variable's value in the profile file.
* parser.c (repl): Load the rc file first, then load the
history file. Furthermore, call lino_hist_set_max_len
between these operations with the latest value pulled
from the *listener-hist-len* variable.
Diffstat (limited to 'mpi')
0 files changed, 0 insertions, 0 deletions