1# ensure that nix-direnv is available at the minimum specified version (or
 2# greater). this supports caching of the dev shell, which greatly reduces the
 3# loading time of activations after the first.
 4if ! has nix_direnv_version || ! nix_direnv_version 3.0.5; then
 5  source_url \
 6    "https://raw.githubusercontent.com/nix-community/nix-direnv/3.0.5/direnvrc" \
 7    "sha256-RuwIS+QKFj/T9M2TFXScjBsLR6V3A17YVoEW/Q6AZ1w="
 8fi
 9
10# allow extending this .envrc with a user-defined .envrc.local. note that if
11# this exists, it is automatically watched for changes
12source_env_if_exists .envrc.local
13
14# ancillary files to watch for changes. these files are included in the
15# development shell and as such, the shell should be reloaded after changes
16watch_file shell-hook.bash
17watch_file ci/default.nix
18
19# load the development shell defined in the flake.nix file
20# note that this automatically watches the following files:
21#   $HOME/.direnvrc
22#   $HOME/.config/direnv/direnvrc
23#   shell.nix
24#   default.nix
25use nix