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 | |
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.
-rwxr-xr-x | subx/edit | 10 | ||||
-rwxr-xr-x | subx/g | 13 | ||||
-rwxr-xr-x | subx/gg | 13 | ||||
-rwxr-xr-x | subx/ggdiff | 14 | ||||
-rwxr-xr-x | subx/nrun | 11 | ||||
-rwxr-xr-x | subx/xdiff | 4 |
6 files changed, 0 insertions, 65 deletions
diff --git a/subx/edit b/subx/edit deleted file mode 100755 index b33d8212..00000000 --- a/subx/edit +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env zsh -# Open a specific example. - -if [ $# -eq 0 ] -then - echo "edit <file>" - exit 1 -fi - -eval $EDITOR ./$1.subx diff --git a/subx/g b/subx/g deleted file mode 100755 index fcfd8eb7..00000000 --- a/subx/g +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env zsh -# Run git commands on a specific example's source. - -if [ $# -eq 0 ] -then - echo "g <git command> <args> <target>" - exit 1 -fi - -arg=( $* ) -target=$arg[${#arg[@]}] -unset "arg[${#arg[@]}]" -git ${arg[@]} ./$target*.subx diff --git a/subx/gg b/subx/gg deleted file mode 100755 index cafc7864..00000000 --- a/subx/gg +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env zsh -# Run git commands on a specific example's generated binary. - -if [ $# -eq 0 ] -then - echo "g <git command> <args> <target>" - exit 1 -fi - -arg=( $* ) -target=$arg[${#arg[@]}] -unset "arg[${#arg[@]}]" -git ${arg[@]} ./$target 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 diff --git a/subx/nrun b/subx/nrun deleted file mode 100755 index e8f06df6..00000000 --- a/subx/nrun +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env zsh -# Natively run a specific example. - -if [ $# -eq 0 ] -then - echo "nrun <binary>" - exit 1 -fi - -./$1 -exit $? diff --git a/subx/xdiff b/subx/xdiff deleted file mode 100755 index 3e0c034d..00000000 --- a/subx/xdiff +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env zsh -# Compare xxd output of two files. - -diff -u <(xxd $1) <(xxd $2) |