From 4b8e9bc93dab2ec7e50ddf35b657a49ceaf66792 Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Sat, 18 Feb 2023 17:25:31 -0800
Subject: [PATCH] Revert "zsh: Write .bash_profile to set zsh as default"

This reverts commit f4d67b9af75ed1cce94f0a2b49014207906adaa1.
---
 roles/home/zsh.nix | 6 ------
 1 file changed, 6 deletions(-)

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