diff options
author | William Carroll <wpcarro@gmail.com> | 2022-12-12T19·39-0800 |
---|---|---|
committer | wpcarro <wpcarro@gmail.com> | 2022-12-12T19·43+0000 |
commit | b6cae74f136759b73d05e93622ce0a3b7902c0bb (patch) | |
tree | 38a152ded861be4a288f4672d261c4d5e1583423 /users/wpcarro/bin | |
parent | 9166a9915a079e9c7e1a202552f2237121103669 (diff) |
feat(wpcarro/lazy-deps): Support wpcarro-deps r/5411
Replace legacy lazy-deps with the latest pattern. Change-Id: If0b0798d76f63b8a42b222398c043f26e9035e42 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7576 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Autosubmit: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'users/wpcarro/bin')
-rwxr-xr-x | users/wpcarro/bin/__dispatch.sh | 33 | ||||
l--------- | users/wpcarro/bin/deploy-diogenes | 1 | ||||
l--------- | users/wpcarro/bin/export-gpg | 1 | ||||
l--------- | users/wpcarro/bin/import-gpg | 1 | ||||
l--------- | users/wpcarro/bin/rebuild-diogenes | 1 |
5 files changed, 0 insertions, 37 deletions
diff --git a/users/wpcarro/bin/__dispatch.sh b/users/wpcarro/bin/__dispatch.sh deleted file mode 100755 index 6da9a1c416cf..000000000000 --- a/users/wpcarro/bin/__dispatch.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/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 - -TARGET_TOOL=$(basename "$0") - -case "${TARGET_TOOL}" in - deploy-diogenes) - attr="users.wpcarro.nixos.deploy-diogenes" - ;; - rebuild-diogenes) - attr="users.wpcarro.nixos.rebuild-diogenes" - ;; - import-gpg) - attr="users.wpcarro.configs.import-gpg" - ;; - export-gpg) - attr="users.wpcarro.configs.export-gpg" - ;; - *) - 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/users/wpcarro/bin/deploy-diogenes b/users/wpcarro/bin/deploy-diogenes deleted file mode 120000 index 8390ec9c9652..000000000000 --- a/users/wpcarro/bin/deploy-diogenes +++ /dev/null @@ -1 +0,0 @@ -__dispatch.sh \ No newline at end of file diff --git a/users/wpcarro/bin/export-gpg b/users/wpcarro/bin/export-gpg deleted file mode 120000 index 8390ec9c9652..000000000000 --- a/users/wpcarro/bin/export-gpg +++ /dev/null @@ -1 +0,0 @@ -__dispatch.sh \ No newline at end of file diff --git a/users/wpcarro/bin/import-gpg b/users/wpcarro/bin/import-gpg deleted file mode 120000 index 8390ec9c9652..000000000000 --- a/users/wpcarro/bin/import-gpg +++ /dev/null @@ -1 +0,0 @@ -__dispatch.sh \ No newline at end of file diff --git a/users/wpcarro/bin/rebuild-diogenes b/users/wpcarro/bin/rebuild-diogenes deleted file mode 120000 index 8390ec9c9652..000000000000 --- a/users/wpcarro/bin/rebuild-diogenes +++ /dev/null @@ -1 +0,0 @@ -__dispatch.sh \ No newline at end of file |