|
|
|
@ -45,7 +45,14 @@ |
|
|
|
|
|
|
|
|
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=magenta,fg=white,bold'} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=magenta,fg=white,bold'} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND='bg=red,fg=white,bold'} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND='bg=red,fg=white,bold'} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'} |
|
|
|
|
|
|
|
|
|
|
|
# Respect CASE_SENSITIVE setting for case sensitivity |
|
|
|
|
|
|
|
if [[ "$CASE_SENSITIVE" = true ]]; then |
|
|
|
|
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS=''} |
|
|
|
|
|
|
|
else |
|
|
|
|
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'} |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_ENSURE_UNIQUE=''} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_ENSURE_UNIQUE=''} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_FUZZY=''} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_FUZZY=''} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_PREFIXED=''} |
|
|
|
: ${HISTORY_SUBSTRING_SEARCH_PREFIXED=''} |
|
|
|
|