destroy-coco-aks: don't delete resource group

Signed-off-by: Paul Meyer <[email protected]>

justfile

@@ -84,7 +84,7 @@ get-credentials:
 
 # Destroy a running AKS cluster.
 destroy:
-    nix run .#destroy-coco-aks -- "$azure_resource_group"
+    nix run .#destroy-coco-aks -- --name="$azure_resource_group"
 
 # Run code generators.
 codegen:

packages/default.nix

@@ -112,7 +112,7 @@ rec {
   destroy-coco-aks = writeShellApplication {
     name = "destroy-coco-aks";
     runtimeInputs = [ azure-cli-with-extensions ];
-    text = ''az group delete --name "$1"'';
+    text = builtins.readFile ./destroy-coco-aks.sh;
   };
 
   generate = writeShellApplication {

packages/destroy-coco-aks.sh

@@ -0,0 +1,33 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+set -x
+
+for i in "$@"; do
+  case $i in
+  --name=*)
+    name="${i#*=}"
+    shift
+    ;;
+  *)
+    echo "Unknown option $i"
+    exit 1
+    ;;
+  esac
+done
+
+exitcode=0
+
+az aks nodepool delete \
+  --resource-group "${name}" \
+  --name nodepool2 \
+  --cluster-name "${name}" \
+  || exitcode=$?
+
+az aks delete \
+    --resource-group "${name}" \
+    --name "${name}" \
+    --yes \
+    || exitcode=$?
+
+exit "${exitcode}"