From 1cebb775f1b8a5ca9d149c23df453a5f56f95fb8 Mon Sep 17 00:00:00 2001 From: Aspen Smith Date: Sun, 31 Mar 2024 14:11:01 -0400 Subject: feat(aspen/system): Switch linux user login to aspen Change-Id: I10369a20db3f1be92caf0bace94e8beb6af1dbaa Reviewed-on: https://cl.tvl.fyi/c/depot/+/11302 Tested-by: BuildkiteCI Autosubmit: aspen Reviewed-by: aspen --- users/aspen/system/home/modules/development.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'users/aspen/system/home/modules/development.nix') diff --git a/users/aspen/system/home/modules/development.nix b/users/aspen/system/home/modules/development.nix index 26817af497d4..2695b0fc8816 100644 --- a/users/aspen/system/home/modules/development.nix +++ b/users/aspen/system/home/modules/development.nix @@ -33,7 +33,7 @@ with lib; imports = [ ./lib/zshFunctions.nix ./development/kube.nix - # TODO(grfn): agda build is broken in the nixpkgs checkout + # TODO(aspen): agda build is broken in the nixpkgs checkout # ./development/agda.nix ./development/rust.nix ]; @@ -68,7 +68,7 @@ with lib; nodePackages.prettier ] ++ optionals (stdenv.isLinux) [ - # TODO(grfn): replace with stable again once the current julia debacle + # TODO(aspen): replace with stable again once the current julia debacle # is resolved upstream, see https://github.com/NixOS/nixpkgs/pull/121114 julia_16-bin valgrind -- cgit 1.4.1