|
|
@ -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. |
|
|
|