diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/__dispatch.sh | 67 | ||||
| l--------- | bin/age | 1 | ||||
| l--------- | bin/age-keygen | 1 | ||||
| l--------- | bin/depot-build | 1 | ||||
| l--------- | bin/depot-nixpkgs-update | 1 | ||||
| l--------- | bin/gerrit | 1 | ||||
| l--------- | bin/gerrit-update | 1 | ||||
| l--------- | bin/hash-password | 1 | ||||
| l--------- | bin/kontemplate | 1 | ||||
| l--------- | bin/meson | 1 | ||||
| l--------- | bin/ninja | 1 | ||||
| l--------- | bin/nint | 1 | ||||
| l--------- | bin/perf-flamegraph | 1 | ||||
| l--------- | bin/rebuild-system | 1 | ||||
| l--------- | bin/rink | 1 | ||||
| l--------- | bin/stern | 1 |
16 files changed, 82 insertions, 0 deletions
diff --git a/bin/__dispatch.sh b/bin/__dispatch.sh new file mode 100755 index 000000000000..0a049c1ecb20 --- /dev/null +++ b/bin/__dispatch.sh @@ -0,0 +1,67 @@ +#!/usr/bin/env bash +# This script dispatches invocations transparently to programs instantiated from +# Nix. +# +# To add a new tool, insert it into the case statement below by setting `attr` +# to the key in nixpkgs which represents the program you want to run. +set -ueo pipefail + +readonly REPO_ROOT=$(dirname "$0")/.. +TARGET_TOOL=$(basename "$0") + +case "${TARGET_TOOL}" in + age) + attr="third_party.nixpkgs-age" + ;; + age-keygen) + attr="third_party.nixpkgs.age" + ;; + depot-build) + attr="tools.depot-build" + ;; + depot-nixpkgs-update) + attr="tools.depot-nixpkgs-update" + ;; + gerrit) + attr="tools.gerrit-cli" + ;; + gerrit-update) + attr="tools.gerrit-update" + ;; + hash-password) + attr="tools.hash-password" + ;; + kontemplate) + attr="ops.kontemplate" + ;; + meson) + attr="third_party.nixpkgs.meson" + ;; + ninja) + attr="third_party.nixpkgs.ninja" + ;; + nint) + attr="nix.nint" + ;; + perf-flamegraph) + attr="tools.perf-flamegraph" + ;; + rebuild-system) + attr="ops.nixos.rebuild-system" + ;; + rink) + attr="third_party.nixpkgs.rink" + ;; + stern) + attr="third_party.nixpkgs.stern" + ;; + *) + echo "The tool '${TARGET_TOOL}' is currently not installed in this repository." + exit 1 + ;; +esac + +result=$(nix-build --no-out-link --attr "${attr}" "${REPO_ROOT}") +PATH="${result}/bin:$PATH" + +exec "${TARGET_TOOL}" "${@}" diff --git a/bin/age b/bin/age new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/age @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/age-keygen b/bin/age-keygen new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/age-keygen @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/depot-build b/bin/depot-build new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/depot-build @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/depot-nixpkgs-update b/bin/depot-nixpkgs-update new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/depot-nixpkgs-update @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/gerrit b/bin/gerrit new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/gerrit @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/gerrit-update b/bin/gerrit-update new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/gerrit-update @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/hash-password b/bin/hash-password new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/hash-password @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/kontemplate b/bin/kontemplate new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/kontemplate @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/meson b/bin/meson new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/meson @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/ninja b/bin/ninja new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/ninja @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/nint b/bin/nint new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/nint @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/perf-flamegraph b/bin/perf-flamegraph new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/perf-flamegraph @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/rebuild-system b/bin/rebuild-system new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/rebuild-system @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/rink b/bin/rink new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/rink @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file diff --git a/bin/stern b/bin/stern new file mode 120000 index 000000000000..8390ec9c9652 --- /dev/null +++ b/bin/stern @@ -0,0 +1 @@ +__dispatch.sh \ No newline at end of file |