bash: case insensitive completiions

2023-07-19 22:59:12 +02:00 · 2023-07-19 22:59:12 +02:00 · b8c7d0d37b
commit b8c7d0d37b
parent 7aeacd1a5a
1 changed files with 2 additions and 0 deletions
--- 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)/'
    }