From 672023ac3ae964e7b08d14d8e42c14d778bb7889 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sun, 25 Sep 2022 12:00:20 +0200
Subject: pinDerivations: explain it is useless with nix-direnv

---
 modules/default.nix | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'modules')

diff --git a/modules/default.nix b/modules/default.nix
index ef71bd5..4f932df 100644
--- a/modules/default.nix
+++ b/modules/default.nix
@@ -118,6 +118,9 @@ in {
           dependency with no substitutes available, or you don't want to spend
           time waiting to re-download your dependencies every time you enter the
           shell.
+
+          This should not be necessary when using nix-direnv, which already pins
+          the direnv profile.
         '';
       };
       filename = mkOption {
-- 
cgit v1.2.3