about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-07-30 20:30:12 -0700
committerKartik Agaram <vc@akkartik.com>2018-07-30 20:30:12 -0700
commit219d05fa00046da7333c1199e838fea34edb9ef3 (patch)
treec348dcc95f01cc851a698208cdfaea973f5a5b61
parent86d8f1f30dd70f9be457d9855327649a0870a22e (diff)
downloadmu-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-xsubx/edit10
-rwxr-xr-xsubx/g13
-rwxr-xr-xsubx/gg13
-rwxr-xr-xsubx/ggdiff14
-rwxr-xr-xsubx/nrun11
-rwxr-xr-xsubx/xdiff4
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)