mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-02-06 02:51:32 +01:00
Here are my local changes
This commit is contained in:
parent
7c4318c612
commit
2aeb761143
2 changed files with 3 additions and 3 deletions
|
|
@ -10,4 +10,4 @@ setopt hist_ignore_dups # ignore duplication command history list
|
||||||
setopt hist_ignore_space
|
setopt hist_ignore_space
|
||||||
setopt hist_verify
|
setopt hist_verify
|
||||||
setopt inc_append_history
|
setopt inc_append_history
|
||||||
setopt share_history # share command history data
|
# setopt share_history # share command history data
|
||||||
|
|
|
||||||
|
|
@ -132,8 +132,8 @@
|
||||||
# configuration variables
|
# configuration variables
|
||||||
#-----------------------------------------------------------------------------
|
#-----------------------------------------------------------------------------
|
||||||
|
|
||||||
HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=magenta,fg=white,bold'
|
HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=cyan,fg=black'
|
||||||
HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND='bg=red,fg=white,bold'
|
HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND='bg=magenta,fg=black'
|
||||||
HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'
|
HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'
|
||||||
|
|
||||||
#-----------------------------------------------------------------------------
|
#-----------------------------------------------------------------------------
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue