From d4947a40b92949bf5267cf8e50a0b24ce46003ba Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 17 Feb 2021 10:28:11 +0100
Subject: [PATCH] Fix ssh missing shell

---
 garlic/shell.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/garlic/shell.nix b/garlic/shell.nix
index 4bd1fc3..4516ea1 100644
--- a/garlic/shell.nix
+++ b/garlic/shell.nix
@@ -22,6 +22,7 @@ mkShell {
     alias ..="cd .."
 
     export LANG=C
+    export SHELL=${bash}/bin/bash
 
     echo Welcome to the garlic shell
   '';