From 83ceb81f8abd7bbe5ef27cd18b3738d9eaba9109 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Sat, 29 Jun 2024 14:04:50 -0500
Subject: [PATCH] a

---
 flake.nix | 54 +++++++++++++++++++++++++++++++-----------------------
 1 file changed, 31 insertions(+), 23 deletions(-)

diff --git a/flake.nix b/flake.nix
index f9c1666..fe0e83d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,26 +1,34 @@
 {
   inputs.agda.url = "github:agda/agda";
-  outputs = { self, nixpkgs, flake-utils, agda }: flake-utils.lib.eachDefaultSystem (system:
-    let
-      pkgs = import nixpkgs { inherit system; };
-      agda-pkg = agda.packages.x86_64-linux.default;
-      flakePkgs = rec {
-        agda-bin = pkgs.callPackage ./nix/agda-bin.nix { inherit agda-pkg; };
-        docker-builder = pkgs.callPackage ./nix/docker-builder.nix { inherit agda-bin; };
-      };
-    in
-    {
-      packages = flake-utils.lib.flattenTree flakePkgs;
-      devShell = pkgs.mkShell {
-        packages = with pkgs; [
-          bun
-          woodpecker-cli
-          nixfmt-rfc-style
-          dive
-          nix-tree
-          vips
-          shellcheck
-        ];
-      };
-    });
+  outputs = { self, nixpkgs, flake-utils, agda, }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = import nixpkgs { inherit system; };
+        agda-pkg = agda.packages.x86_64-linux.default;
+        flakePkgs = rec {
+          agda-bin = pkgs.callPackage ./nix/agda-bin.nix { inherit agda-pkg; };
+          docker-builder =
+            pkgs.callPackage ./nix/docker-builder.nix { inherit agda-bin; };
+        };
+      in {
+        packages = flake-utils.lib.flattenTree flakePkgs;
+        devShell = pkgs.mkShell {
+          ASTRO_TELEMETRY_DISABLED = 1;
+
+          packages = with pkgs;
+            with flakePkgs; [
+              bun
+              woodpecker-cli
+              nixfmt-rfc-style
+              dive
+              nix-tree
+              vips
+              shellcheck
+              agda-bin
+
+              nodejs_20
+              corepack
+            ];
+        };
+      });
 }