From 859eebda988ab3dbb86a7c1a18197820ed926bb9 Mon Sep 17 00:00:00 2001
From: "Vincent A. Arcila" <vincent.arcila@bsc.es>
Date: Tue, 18 Nov 2025 18:09:29 +0100
Subject: [PATCH] Change varcila shell to zsh

Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
---
 m/common/base/users.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/m/common/base/users.nix b/m/common/base/users.nix
index f83b8215..5ee862fb 100644
--- 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 = {