From 4bafb2fda846ca2a2e5cb7fc1def87f652b0159a Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Mon, 27 Mar 2023 18:03:14 +0200
Subject: [PATCH] zsh: Do not source bashrc when writing bashrc

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

diff --git a/roles/home/zsh.nix b/roles/home/zsh.nix
index 83f182c..d126dc6 100644
--- a/roles/home/zsh.nix
+++ b/roles/home/zsh.nix
@@ -6,9 +6,9 @@ let
   # not having the attribute users means
   # we cannot change the default shell (e.g. this is not a NixOS host)
   exec_zsh = ''
-    if [ -f "$HOME/.bashrc" ]; then
-      . "$HOME/.bashrc"
-    fi
+#    if [ -f "$HOME/.bashrc" ]; then
+#      . "$HOME/.bashrc"
+#    fi
 
     exec ${pkgs.zsh}/bin/zsh
   '';