Add bash option for case insensitive completion

This commit is contained in:
2024-03-27 21:33:17 +00:00
committed by GitHub
parent be2ddadea5
commit 6029e4cd79

View File

@@ -156,6 +156,7 @@
ls="ls --color=auto"; ls="ls --color=auto";
grep="grep --color=auto"; grep="grep --color=auto";
}; };
initExtra = "set completion-ignore-case On";
}; };
programs.vscode = { programs.vscode = {