From f3f73c2b7b13c945320379c1147de9e1c378dee5 Mon Sep 17 00:00:00 2001 From: Timothy DeHerrera Date: Sun, 2 Aug 2020 13:29:42 -0600 Subject: [PATCH] users#direnv: init profile --- users/profiles/direnv/default.nix | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 users/profiles/direnv/default.nix diff --git a/users/profiles/direnv/default.nix b/users/profiles/direnv/default.nix new file mode 100644 index 00000000..49eadb98 --- /dev/null +++ b/users/profiles/direnv/default.nix @@ -0,0 +1,13 @@ +{ + programs.direnv = { + enable = true; + stdlib = '' + use_flake() { + mkdir -p $(direnv_layout_dir) + watch_file flake.nix + watch_file flake.lock + eval "$(nix print-dev-env --profile "$(direnv_layout_dir)/flake-profile")" + } + ''; + }; +}