bad/devos
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

users#direnv: init profile

Browse source
This commit is contained in:
Timothy DeHerrera 2020-08-02 13:29:42 -06:00
parent cdc9960c55
commit f3f73c2b7b
No known key found for this signature in database
GPG key ID: 8985725DB5B0C122
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
users/profiles/direnv/default.nix Normal file
View file

@ -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")"
}
'';
};
}