#!/bin/sh -e
use () { true; }
watch_file () { true; }
log_status () { echo >&2 "$*"; }
source_env () {
	file=$(readlink -e "$1")
	( cd "$(dirname "$file")" && . "$file" )
}
root=$(dirname "$(readlink -e "$0")")/../..
. "$root"/.envrc
exec nix-shell --pure "$root"/.cache/nix/gcroots/shell.drv "$@"