From b8c7d0d37b8233161e83b2f0e78706918640a588 Mon Sep 17 00:00:00 2001
From: Peder Bergebakken Sundt <pbsds@hotmail.com>
Date: Wed, 19 Jul 2023 22:59:12 +0200
Subject: [PATCH] bash: case insensitive completiions

---
 users/pbsds/home/profiles/shell.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/users/pbsds/home/profiles/shell.nix b/users/pbsds/home/profiles/shell.nix
index 4a1f62e..528f5e5 100644
--- a/users/pbsds/home/profiles/shell.nix
+++ b/users/pbsds/home/profiles/shell.nix
@@ -16,6 +16,8 @@
     "checkjobs"
   ];
   programs.bash.initExtra = ''
+    bind 'set completion-ignore-case on'
+
     parse_git_branch() {
       git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/ (\1)/'
     }