Change varcila shell to zsh

Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
2025-11-18 18:09:29 +01:00
parent c2a201b085
commit 859eebda98
1 changed files with 1 additions and 0 deletions
--- a/m/common/base/users.nix
+++ b/m/common/base/users.nix
@@ -139,6 +139,7 @@
        openssh.authorizedKeys.keys = [
          "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKGt0ESYxekBiHJQowmKpfdouw0hVm3N7tUMtAaeLejK vincent@varch"
        ];
+        shell = pkgs.zsh;
      };

      pmartin1 = {