Various updates

2020-03-15 14:44:36 -04:00
parent f1cbe81655
commit f02cb843aa
10 changed files with 51 additions and 12 deletions
--- a/bash/inputrc
+++ b/bash/inputrc
@@ -0,0 +1 @@
+set completion-ignore-case on