@ 260802.2

200426.5 · 481b64a667e8d9aca522a0455a00f32dac1f4977

initial commit of ~/bin

This brings over everything that was in my bin-only repository.

I removed scripts that were unused or were no longer understood. I also moved any work-specific scripts to a separate (private) repository.

reading declarations

Changes to bin/git-empty-last-commit. All files

bin/git-empty-last-commit

new file mode 100755@@ -0,0 +1,7 @@+#!/bin/sh++set -e+curr="$(git rev-parse HEAD)"++git reset HEAD~1+git commit --allow-empty --no-verify -C "$curr"