Use new flake template (#91)

johnae · Nov 7, 2023 · 8987d2e · 8987d2e
1 parent 67d7fd8
commit 8987d2e
Show file tree

Hide file tree

Showing 9 changed files with 597 additions and 623 deletions.
diff --git a/.envrc b/.envrc
@@ -1,7 +1,11 @@
-mkdir -p .direnv
+source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.4.0/direnvrc" "sha256-XQzUAvL6pysIJnRJyR7uVpmUSZfc7LSgWQwq/4mBr1U="
 # reload when these files change
-watch_file flake.nix
-watch_file flake.lock
-watch_file devshell.nix
-# load the flake devShell
-eval "$(nix print-dev-env --profile "$(direnv_layout_dir)/flake-profile")"
+nix_direnv_watch_file flake.nix
+nix_direnv_watch_file flake.lock
+nix_direnv_watch_file flake/*.nix
+nix_direnv_watch_file devenv/*.nix
+
+if ! use flake . --impure
+then
+  echo "devenv could not be built. The devenv environment was not loaded. Make the necessary changes and hit enter to try again." >&2
+fi
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 /target
 **/*.rs.bk
 .direnv
+.devenv