diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-07-30 20:30:12 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-07-30 20:30:12 -0700 |
| commit | 219d05fa00046da7333c1199e838fea34edb9ef3 (patch) | |
| tree | c348dcc95f01cc851a698208cdfaea973f5a5b61 /subx/ggdiff | |
| parent | 86d8f1f30dd70f9be457d9855327649a0870a22e (diff) | |
| download | mu-219d05fa00046da7333c1199e838fea34edb9ef3.tar.gz | |
4463
Also purge some unused helper scripts. Good ideas in theory, but no point if they didn't make it to muscle memory.
Diffstat (limited to 'subx/ggdiff')
| -rwxr-xr-x | subx/ggdiff | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/subx/ggdiff b/subx/ggdiff deleted file mode 100755 index 0b2f34ca..00000000 --- a/subx/ggdiff +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env zsh -# git diff a specific example's generated binary after converting through xxd. - -if [ $# -eq 0 ] -then - echo "ggdiff <target> [rev]" - exit 1 -fi - -target=$1 -rev=${2:-HEAD} -tmp=`mktemp` -git show ${rev}:subx/$target > $tmp -xdiff $tmp $target |