Optional
completerOptional
crlfOptional
escapeOptional
historyOptional
historyOptional
outputOptional
promptOptional
removeIf true
, when a new input line added
to the history list duplicates an older one, this removes the older line
from the list.
false
Optional
tabOptional
terminal
Initial list of history lines. This option makes sense only if
terminal
is set totrue
by the user or by an internaloutput
check, otherwise the history caching mechanism is not initialized at all.Default
[]