From 4211ab8c327e9af4111d03d8037ad249a83140e4 Mon Sep 17 00:00:00 2001 From: Paul Frederiksen Date: Wed, 8 Oct 2025 11:11:02 -0700 Subject: [PATCH] Fix case sensitivity in history-substring-search plugin - Respect CASE_SENSITIVE setting for case sensitivity - When CASE_SENSITIVE="true", use case-sensitive search (empty globbing flags) - When CASE_SENSITIVE not set, preserve current case-insensitive behavior - Fixes issue #9730 - Maintains backward compatibility --- .../history-substring-search.zsh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/plugins/history-substring-search/history-substring-search.zsh b/plugins/history-substring-search/history-substring-search.zsh index 9f0e0b0d5..db516f580 100644 --- a/plugins/history-substring-search/history-substring-search.zsh +++ b/plugins/history-substring-search/history-substring-search.zsh @@ -45,7 +45,14 @@ : ${HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=magenta,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_FUZZY=''} : ${HISTORY_SUBSTRING_SEARCH_PREFIXED=''}