summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-09-17 21:11:00 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-09-17 21:11:00 +0200
commit164185033f0f6db94b8bd5fe4fc668001073959e (patch)
tree25788218cef29341a1556cd3037ca3efc9269f7c /.envrc
parentbaea04747697ad5039139ef44bca7b3965147696 (diff)
flake: use my-nixpkgs' devenv
Diffstat (limited to '.envrc')
-rw-r--r--.envrc11
1 files changed, 11 insertions, 0 deletions
diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..fd8affa
--- /dev/null
+++ b/.envrc
@@ -0,0 +1,11 @@
+if ! has nix_direnv_version || ! nix_direnv_version 2.2.1; then
+ source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.2.1/direnvrc" "sha256-zelF0vLbEl5uaqrfIzbgNzJWGmLzCmYAkInj/LNxvKs="
+fi
+
+nix_direnv_watch_file devenv.nix
+nix_direnv_watch_file devenv.lock
+nix_direnv_watch_file devenv.yaml
+if ! use flake . --impure
+then
+ echo "devenv could not be built. The devenv environment was not loaded. Make the necessary changes to devenv.nix and hit enter to try again." >&2
+fi