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