CLI-Utilities/zsh-interactive-cd
1
0
Fork 0
mirror of https://github.com/johannjhang/zsh-interactive-cd.git synced 2026-08-12 22:29:31 +04:00
Code Issues Packages Projects Releases Wiki Activity

added option to toggle case sensitivity

Browse Source
This commit is contained in:
Maneren
2021-04-26 10:16:04 +02:00
parent 79f9331031
commit a701716d99
1 changed files with 16 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
zsh-interactive-cd.plugin.zsh
+16 -4
View File
@@ -43,8 +43,14 @@ __zic_matched_subdir_list() {
if [[ "${seg[1]}" != "." && "${line[1]}" == "." ]]; then
continue
fi
if [[ "$line" == "$seg"* ]]; then
echo "$line"
if [ "$zic_case_insensitive" = "true" ]; then
if [[ "$line:u" == "$seg:u"* ]]; then
echo "$line"
fi
else
if [[ "$line" == "$seg"* ]]; then
echo "$line"
fi
fi
done
)
@@ -57,8 +63,14 @@ __zic_matched_subdir_list() {
if [[ "${seg[1]}" != "." && "${line[1]}" == "." ]]; then
continue
fi
if [[ "$line" == *"$seg"* ]]; then
echo "$line"
if [ "$zic_case_insensitive" = "true" ]; then
if [[ "$line:u" == *"$seg:u"* ]]; then
echo "$line"
fi
else
if [[ "$line" == *"$seg"* ]]; then
echo "$line"
fi
fi
done
fi