summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-09-17 18:39:06 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-09-17 18:39:06 +0200
commit7f5f01ef3d3eb56a24db31b7ddf85fc4ce3b37fc (patch)
treefc4fe69f286ec24b25c15b1795756bfd7cca12a1 /.envrc
parentf5ffcc09b782d286e658a5599443bbe711df6281 (diff)
flake: add 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