diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2021-02-23 15:43:34 +0100 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2021-02-23 15:43:34 +0100 |
| commit | 701c1968602b6c6631fe58ae7b127ff5815c216a (patch) | |
| tree | 0098e3c589982ce42c02f9d21a15a4eb9724b23f | |
| parent | 5a5930df4a3899ff82569d903880394d5876abd3 (diff) | |
Allow searching case-sensitively again
| -rw-r--r-- | .config/git/config | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.config/git/config b/.config/git/config index e4551be..323e9c2 100644 --- a/.config/git/config +++ b/.config/git/config @@ -98,9 +98,9 @@ # grep on filename f = "!git ls-files | grep -i" - g = grep -Ii - gr = grep -Ii - grep = grep -Ii + g = grep -I + gr = grep -I + grep = grep -I log = log --graph l = log --graph |