From 8af0b623fe92ae9de022c8ade70e168d8b42310c Mon Sep 17 00:00:00 2001
From: Richard Levitte <richard@levitte.org>
Date: Wed, 22 Apr 2026 11:42:48 +0200
Subject: [PATCH] .envrc: Replace .envrc with .envrc.sample

The `.envrc` file acts as a personal setup file, and should not be checked in.

The team provides `.envrc.sample` where contributors can choose to:

    echo 'source_env .envrc.sample' >> .envrc

To bootstrap their own `.envrc` file.
---
 .envrc        | 3 ---
 .envrc.sample | 5 +++++
 .gitignore    | 1 +
 3 files changed, 6 insertions(+), 3 deletions(-)
 delete mode 100644 .envrc
 create mode 100644 .envrc.sample

diff --git a/.envrc b/.envrc
deleted file mode 100644
index 7f9c9860..00000000
--- a/.envrc
+++ /dev/null
@@ -1,3 +0,0 @@
-watch_file rust-toolchain.toml
-
-use flake
diff --git a/.envrc.sample b/.envrc.sample
new file mode 100644
index 00000000..85d78d47
--- /dev/null
+++ b/.envrc.sample
@@ -0,0 +1,5 @@
+# Developers that want to use this can add 'source_env .envrc.sample' in their .envrc
+if has nix; then
+   watch_file rust-toolchain.toml
+   use flake
+fi
diff --git a/.gitignore b/.gitignore
index 1baafebd..88af74f8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,5 +3,6 @@
 /build/artifacts
 /build/*.tar.gz
 /.pre-commit-config.yaml
+/.envrc
 /.direnv/
 /result