diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-12-08 18:54:18 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-12-08 18:54:18 +0100 |
| commit | 8adee2400f9b54afbb2c024f3be9318b612b6e96 (patch) | |
| tree | a1d38f7e2188e7d191a379f3f21fc06df6d75d1d | |
| parent | f58d31008ac0003b05af9b8a28128aff04275717 (diff) | |
remove .envrc
| -rw-r--r-- | .envrc | 11 |
1 files changed, 0 insertions, 11 deletions
@@ -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 - -watch_file devenv.nix -watch_file devenv.lock -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 |