From d98064e13969683c67109fce8d31f538348e4ffa Mon Sep 17 00:00:00 2001 From: Andrea Bedini Date: Tue, 14 Nov 2023 12:41:31 +0800 Subject: [PATCH] Clean up some dead code in nix/workbench --- nix/workbench/cluster.sh | 22 ---------------------- nix/workbench/forall.sh | 24 ------------------------ nix/workbench/lib.jq | 16 ---------------- nix/workbench/lib.nix | 9 --------- nix/workbench/manifest.sh | 17 ++++++++++++++++- nix/workbench/profile/prof3-derived.jq | 3 +-- nix/workbench/service/nodes.nix | 7 ++++++- 7 files changed, 23 insertions(+), 75 deletions(-) delete mode 100644 nix/workbench/cluster.sh delete mode 100644 nix/workbench/forall.sh delete mode 100644 nix/workbench/lib.jq delete mode 100644 nix/workbench/lib.nix diff --git a/nix/workbench/cluster.sh b/nix/workbench/cluster.sh deleted file mode 100644 index a96a00230f4..00000000000 --- a/nix/workbench/cluster.sh +++ /dev/null @@ -1,22 +0,0 @@ -usage_cluster() { - usage "cluster" "Cluster operation" <