[pinch] / git-pre-commit-hook

#!/usr/bin/env bash

# Copy me to .git/hooks/pre-commit

set -e

cleanup() {
  if [[ "$D" && -e "$D" ]];then
    rm -rf "$D"
  fi
}
trap cleanup EXIT

D=$(mktemp -d)
[[ "$D" && -d "$D" ]]

git checkout-index --prefix="$D/" -a
pushd "$D"

nix-shell --arg lint true --run './test.sh lint'

popd
Commit	Line	Data
d2d9efef SW	1	#!/usr/bin/env bash
	2
	3	# Copy me to .git/hooks/pre-commit
	4
	5	set -e
	6
	7	cleanup() {
	8	if [[ "$D" && -e "$D" ]];then
	9	rm -rf "$D"
	10	fi
	11	}
	12	trap cleanup EXIT
	13
	14	D=$(mktemp -d)
	15	[[ "$D" && -d "$D" ]]
	16
	17	git checkout-index --prefix="$D/" -a
	18	pushd "$D"
	19
420bd8c9	20	nix-shell --arg lint true --run './test.sh lint'
d2d9efef SW	21
d2d9efef SW	22	popd