From f4d67b9af75ed1cce94f0a2b49014207906adaa1 Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Sat, 18 Feb 2023 11:50:40 -0800
Subject: [PATCH] zsh: Write .bash_profile to set zsh as default

---
 roles/home/zsh.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/roles/home/zsh.nix b/roles/home/zsh.nix
index fd2bca5..03c9dab 100644
--- a/roles/home/zsh.nix
+++ b/roles/home/zsh.nix
@@ -8,4 +8,10 @@
       theme = "bira";
     };
   };
+
+  home.file.".bash_profile".text = ''
+    export SHELL=${pkgs.zsh}/bin/zsh
+    [ -f ''${HOME}/.bashrc ] && . ''${HOME}/.bashrc
+    exec ${pkgs.zsh}/bin/zsh
+  '';
 }