summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2024-02-07 15:54:10 +0100
committeraristote <quentin.aristote@irif.fr>2024-02-07 15:54:10 +0100
commit42e8df62d606996e7799f13f87a0924eca77cea4 (patch)
treead60c83052c8677f85e0cbb72b99099b33918d67
parenta82702e4402c756d2f7363155ee011fbeb7e5f79 (diff)
stop following .envrc
-rw-r--r--.envrc11
1 files changed, 0 insertions, 11 deletions
diff --git a/.envrc b/.envrc
deleted file mode 100644
index fd8affa..0000000
--- a/.envrc
+++ /dev/null
@@ -1,11 +0,0 @@
-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