diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-08 19:11:51 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-08 19:16:08 -0700 |
| commit | eb917331a8de7ee724cd1eec5d0b9bb6ef76fae2 (patch) | |
| tree | 59f0718cbc72b323660940eef90a986b376c64f0 /git_log_filtered | |
| parent | 1baa04dbd4c77d18b906fd185c762f613b36baa0 (diff) | |
| download | mu-eb917331a8de7ee724cd1eec5d0b9bb6ef76fae2.tar.gz | |
2942 - switch scripts to bash
I'm already using grep and perl, bash is no worse, and it's *much* nicer to work in than plain Bourne sh.
Diffstat (limited to 'git_log_filtered')
| -rwxr-xr-x | git_log_filtered | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_log_filtered b/git_log_filtered index 89d1c8bc..0ca96fdf 100755 --- a/git_log_filtered +++ b/git_log_filtered @@ -1,4 +1,4 @@ -#!/usr/bin/env zsh +#!/bin/bash # Show the log while skipping unimportant directories. # # I usually run this through an alias local to this repo: |