From c87fe21a93709ec707d9bb08341c78405f5522f4 Mon Sep 17 00:00:00 2001 From: "quentin@aristote.fr" Date: Wed, 28 Feb 2024 16:29:58 +0100 Subject: publications: update and split selected --- .envrc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to '.envrc') diff --git a/.envrc b/.envrc index fd8affa..d70512d 100644 --- a/.envrc +++ b/.envrc @@ -2,9 +2,9 @@ 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 +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 -- cgit v1.2.3