diff options
| author | nsfisis <nsfisis@gmail.com> | 2026-01-03 13:27:40 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2026-01-03 13:27:40 +0900 |
| commit | c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5 (patch) | |
| tree | 6657f991b85592b10d6641426c088d6b6256281a /.envrc | |
| parent | b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72 (diff) | |
| download | TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.tar.gz TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.tar.zst TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.zip | |
set up nix flake
Diffstat (limited to '.envrc')
| -rw-r--r-- | .envrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -0,0 +1,5 @@ +# shellcheck shell=bash +if ! has nix_direnv_version || ! nix_direnv_version 3.1.0; then + source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/3.1.0/direnvrc" "sha256-yMJ2OVMzrFaDPn7q8nCBZFRYpL/f0RcHzhmw/i6btJM=" +fi +use flake |