`853680fd621a8907338e0eee080dc6cf754408bf`

Author: Paul Frederiksen <paul@paulfrederiksen.com>
Committer: GitHub <noreply@github.com>
Date: 2025-10-09 10:52 UTC

Message

fix(history-substring-search): honor `CASE_SENSITIVE` variable (#13360)

Diff

 1diff --git a/plugins/history-substring-search/history-substring-search.zsh b/plugins/history-substring-search/history-substring-search.zsh
 2index 9f0e0b0d5bb6b984838ef3a43b9c21b268cc4c0a..db516f580a076d3501f3328a7530d1d6c1ba09ae 100644
 3--- a/plugins/history-substring-search/history-substring-search.zsh
 4+++ b/plugins/history-substring-search/history-substring-search.zsh
 5@@ -45,7 +45,14 @@
 6 
 7 : ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=magenta,fg=white,bold'}
 8 : ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND='bg=red,fg=white,bold'}
 9-: ${HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'}
10+
11+# Respect CASE_SENSITIVE setting for case sensitivity
12+if [[ "$CASE_SENSITIVE" = true ]]; then
13+  : ${HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS=''}
14+else
15+  : ${HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'}
16+fi
17+
18 : ${HISTORY_SUBSTRING_SEARCH_ENSURE_UNIQUE=''}
19 : ${HISTORY_SUBSTRING_SEARCH_FUZZY=''}
20 : ${HISTORY_SUBSTRING_SEARCH_PREFIXED=''}