1 files changed, 12 insertions, 0 deletions
diff --git a/bash/bash_completion.d/_completion_ignore_case.bash b/bash/bash_completion.d/_completion_ignore_case.bash
new file mode 100644
index 00000000..fe8208fc
--- /dev/null
+++ b/bash/bash_completion.d/_completion_ignore_case.bash
@@ -0,0 +1,12 @@
+# Return whether to ignore case for filename completion
+_completion_ignore_case() {
+
+    # Check Readline settings for case-insensitive matching
+    while read -r _ set ; do
+        [[ $set == 'completion-ignore-case on' ]] || continue
+        return 0
+    done < <(bind -v)
+    
+    # Didn't find it, stay case-sensitive
+    return 1
+}