|
|
@ -8,8 +8,9 @@ Options
|
|
|
|
|
|
|
|
|
|
|
|
- `BANG_HIST` treats the **!** character specially during expansion.
|
|
|
|
- `BANG_HIST` treats the **!** character specially during expansion.
|
|
|
|
- `EXTENDED_HISTORY` writes the history file in the *:start:elapsed;command* format.
|
|
|
|
- `EXTENDED_HISTORY` writes the history file in the *:start:elapsed;command* format.
|
|
|
|
- `INC_APPEND_HISTORY` writes to the history file immediately, not when the shell exits.
|
|
|
|
- `SHARE_HISTORY` shares history between all sessions. Note that
|
|
|
|
- `SHARE_HISTORY` shares history between all sessions.
|
|
|
|
`SHARE_HISTORY`, `INC_APPEND_HISTORY`, and `INC_APPEND_HISTORY_TIME` are
|
|
|
|
|
|
|
|
mutually exclusive.
|
|
|
|
- `HIST_EXPIRE_DUPS_FIRST` expires a duplicate event first when trimming history.
|
|
|
|
- `HIST_EXPIRE_DUPS_FIRST` expires a duplicate event first when trimming history.
|
|
|
|
- `HIST_IGNORE_DUPS` does not record an event that was just recorded again.
|
|
|
|
- `HIST_IGNORE_DUPS` does not record an event that was just recorded again.
|
|
|
|
- `HIST_IGNORE_ALL_DUPS` deletes an old recorded event if a new event is a duplicate.
|
|
|
|
- `HIST_IGNORE_ALL_DUPS` deletes an old recorded event if a new event is a duplicate.
|
|
|
|