zsh: Write .bash_profile if not a NixOS host

2023-02-20 10:14:49 -08:00 · 2023-02-20 10:14:49 -08:00 · e935efbc9d
commit e935efbc9d
parent d13bf9e990
1 changed files with 11 additions and 0 deletions
--- a/roles/home/zsh.nix
+++ b/roles/home/zsh.nix
@ -8,4 +8,15 @@
      theme = "bira";
    };
  };
+
+  home.file.".bash_profile".text =
+    # not having the attribute users means
+    # we cannot change the default shell (e.g. this is not a NixOS host)
+    if ! builtins.hasAttr "users" config then ''
+      if [ -f "$HOME/.bashrc" ]; then
+        . "$HOME/.bashrc"
+      fi
+
+      exec ${pkgs.zsh}/bin/zsh
+    '' else null;
 }