From 80c98041b5cbac7bd0c85ba8ecea51c0126b3215 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Sun, 3 Sep 2023 16:46:27 +0200
Subject: [PATCH] Set zsh shell for rarias

---
 m/common/users.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/m/common/users.nix b/m/common/users.nix
index 3399ed3..d333c20 100644
--- a/m/common/users.nix
+++ b/m/common/users.nix
@@ -1,4 +1,4 @@
-{ ... }:
+{ pkgs, ... }:
 
 {
   users = {
@@ -26,6 +26,7 @@
           "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINa0tvnNgwkc5xOwd6xTtaIdFi5jv0j2FrE7jl5MTLoE ram@mio"
           "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGYcXIxe0poOEGLpk8NjiRozls7fMRX0N3j3Ar94U+Gl rarias@hal"
         ];
+        shell = pkgs.zsh;
       };
 
       arocanon = {