From fc6804431209e51fc542b24cf776a876aea24935 Mon Sep 17 00:00:00 2001
From: Gary Guo <gary.guo@lowrisc.org>
Date: Thu, 11 Apr 2024 14:29:56 +0100
Subject: [PATCH] Run user's current shell instead of bash

---
 dev/opentitan.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev/opentitan.nix b/dev/opentitan.nix
index 329f00d..70e9af5 100644
--- a/dev/opentitan.nix
+++ b/dev/opentitan.nix
@@ -82,5 +82,7 @@ in
       "--symlink ${pkgs.openssl.out}/etc/ssl/openssl.cnf /etc/ssl/openssl.cnf"
       "--symlink /etc/ssl/certs/ca-certificates.crt /etc/ssl/cert.pem"
     ];
+
+    runScript = "\${SHELL:-bash}";
   })
   .env