mirror of
https://github.com/cmderdev/cmder.git
synced 2024-09-20 12:54:20 +08:00
20 lines
518 B
Plaintext
20 lines
518 B
Plaintext
# For explanation of these and other settings see:
|
|
# https://chrisant996.github.io/clink/clink.html
|
|
|
|
# name: Sets how command history expansion is applied
|
|
# type: enum
|
|
# options: off,on,not_squoted,not_dquoted,not_quoted
|
|
history.expand_mode = not_dquoted
|
|
|
|
# name: Skip adding lines prefixed with whitespace
|
|
# type: boolean
|
|
history.ignore_space = False
|
|
|
|
# name: The number of history lines to save
|
|
# type: integer
|
|
history.max_lines = 10000
|
|
|
|
# name: Share history between instances
|
|
# type: boolean
|
|
history.shared = True
|