blizzthewolf/SeaCogs
1
0
Fork 1
forked from cswimr/SeaCogs
Code Pull requests Activity

switch to devcontainers

Browse source
This commit is contained in:
cswimr 2025-01-24 22:17:25 +00:00
parent 071dcf7e27
commit 616d81d398
Signed by untrusted user: cswimr
GPG key ID: 0EC431A8DA8F8087
7 changed files with 82 additions and 379 deletions
Download patch file Download diff file Expand all files Collapse all files

10
.envrc
View file

@ -1,10 +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 flake.nix
watch_file flake.lock
if ! use flake . --no-pure-eval
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