about summary refs log tree commit diff
path: root/users/wpcarro/bin
diff options
context:
space:
mode:
authorWilliam Carroll <wpcarro@gmail.com>2022-12-12T19·39-0800
committerwpcarro <wpcarro@gmail.com>2022-12-12T19·43+0000
commitb6cae74f136759b73d05e93622ce0a3b7902c0bb (patch)
tree38a152ded861be4a288f4672d261c4d5e1583423 /users/wpcarro/bin
parent9166a9915a079e9c7e1a202552f2237121103669 (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-xusers/wpcarro/bin/__dispatch.sh33
l---------users/wpcarro/bin/deploy-diogenes1
l---------users/wpcarro/bin/export-gpg1
l---------users/wpcarro/bin/import-gpg1
l---------users/wpcarro/bin/rebuild-diogenes1
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