add something to /etc/profile.local

2023-07-10 21:58:36 -05:00 · 2023-07-10 21:58:36 -05:00 · f540d2b9dd
parent 9d74bca144
commit f540d2b9dd
1 changed files with 6 additions and 0 deletions
--- a/desktop.nix
+++ b/desktop.nix
@ -191,4 +191,10 @@ in {
      };
    };
  };
+
+  environment.etc = {
+    "profile.local" = {
+      text = "source $HOME/.config/bash/profile";
+    };
+  };
 }