adjust history settings to more suitable default values

This commit is contained in:
David Refoua 2022-12-20 10:45:09 +03:30 committed by GitHub
parent 9bbc97c981
commit 2e9b512102
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,15 +8,15 @@ history.expand_mode = not_dquoted
# name: Skip adding lines prefixed with whitespace # name: Skip adding lines prefixed with whitespace
# type: boolean # type: boolean
history.ignore_space = False history.ignore_space = True
# name: The number of history lines to save # name: The number of history lines to save
# type: integer # type: integer
history.max_lines = 10000 history.max_lines = 25000
# name: Share history between instances # name: Share history between instances
# type: boolean # type: boolean
history.shared = True history.shared = False
# name: Auto-answer terminate prompt # name: Auto-answer terminate prompt
# type: enum # type: enum