zsh: Write .bash_profile to set zsh as default

2023-02-18 11:50:40 -08:00 · 2023-02-18 11:50:40 -08:00 · f4d67b9af7
commit f4d67b9af7
parent aa6dd43783
1 changed files with 6 additions and 0 deletions
--- 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
+  '';
 }