From ffcf80c3a5f429420c94db1b7bd71589d5811c2d Mon Sep 17 00:00:00 2001
From: Maciej Pasternacki <maciej@3ofcoins.net>
Date: Wed, 6 Nov 2024 20:34:49 +0100
Subject: [PATCH] Make direnv optional to let developers use their own direnv
 configuration

---
 .envrc => .envrc.example | 0
 .gitignore               | 3 +++
 2 files changed, 3 insertions(+)
 rename .envrc => .envrc.example (100%)

diff --git a/.envrc b/.envrc.example
similarity index 100%
rename from .envrc
rename to .envrc.example
diff --git a/.gitignore b/.gitignore
index 7f40d0ba55..744577248d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -115,6 +115,9 @@ prime/
 *_source.tar.bz2
 .DS_Store
 
+# Direnv configuration
+/.envrc
+
 # nix-direnv generated files
 .direnv/