Hi, * William Yardley [07-09-26 21:23:51 -0700] wrote:
Can anyone tell me the difference between: $save_history and: $history
AFAICT, both are set to the value of the number of lines of history to save.
I'd say not to save but to keep. $history tells how many items are kept during the current session, $save_history tells how many items are kept in the history file (across sessions).
bye, Rocco -- :wq!