2022-05-19 11:55:38 +02:00
|
|
|
function wrap() {
|
|
|
|
|
local TOOL="$1"
|
|
|
|
|
local REPO="$2"
|
|
|
|
|
shift
|
|
|
|
|
shift
|
|
|
|
|
|
|
|
|
|
SHELL_NIX="$REPO/shell.nix"
|
|
|
|
|
QUOTED_ARGS="$(printf "${1+ %q}" "$@")"
|
2022-05-19 13:34:09 +02:00
|
|
|
exec nix-shell "$SHELL_NIX" --pure --run "$TOOL $QUOTED_ARGS"
|
2022-05-19 11:55:38 +02:00
|
|
|
}
|
