2020-12-25 06:48:00 +08:00
|
|
|
# For explanation of these and other settings see:
|
|
|
|
|
# https://chrisant996.github.io/clink/clink.html
|
2019-03-01 06:44:28 +08:00
|
|
|
|
|
|
|
|
# name: Sets how command history expansion is applied
|
|
|
|
|
# type: enum
|
2020-12-25 06:48:00 +08:00
|
|
|
# options: off,on,not_squoted,not_dquoted,not_quoted
|
|
|
|
|
history.expand_mode = not_dquoted
|
2019-03-01 06:44:28 +08:00
|
|
|
|
2020-12-25 06:48:00 +08:00
|
|
|
# name: Skip adding lines prefixed with whitespace
|
|
|
|
|
# type: boolean
|
|
|
|
|
history.ignore_space = False
|
2019-03-01 06:44:28 +08:00
|
|
|
|
2020-12-25 06:48:00 +08:00
|
|
|
# name: The number of history lines to save
|
|
|
|
|
# type: integer
|
|
|
|
|
history.max_lines = 10000
|
2019-03-01 06:44:28 +08:00
|
|
|
|
2020-12-25 06:48:00 +08:00
|
|
|
# name: Share history between instances
|
|
|
|
|
# type: boolean
|
|
|
|
|
history.shared = True
|
