diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-22 10:07:38 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-22 10:07:38 -0700 |
| commit | 40af8c9537f158b74fba6a8d55b55d6071d8e723 (patch) | |
| tree | bfc53b433822e28f902c34bf80b07d39e0b6141a /git_log_filtered | |
| parent | 0f0d3e7ae6412c281f67ee48f71b48f23d13e3bb (diff) | |
| download | mu-40af8c9537f158b74fba6a8d55b55d6071d8e723.tar.gz | |
2807 - exclude .traces/ and html/ in 'git log'
Diffstat (limited to 'git_log_filtered')
| -rwxr-xr-x | git_log_filtered | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/git_log_filtered b/git_log_filtered new file mode 100755 index 00000000..89d1c8bc --- /dev/null +++ b/git_log_filtered @@ -0,0 +1,8 @@ +#!/usr/bin/env zsh +# Show the log while skipping unimportant directories. +# +# I usually run this through an alias local to this repo: +# $ git config alias.ll '!./git_log_filtered' +# $ git ll --stat + +git log $* -- . ":(exclude)html" ":(exclude).traces" |