summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorQuentin Aristote <quentin@aristote.fr>2022-09-25 12:00:20 +0200
committerQuentin Aristote <quentin@aristote.fr>2022-09-25 12:00:20 +0200
commit672023ac3ae964e7b08d14d8e42c14d778bb7889 (patch)
treeebad8ec8fc731b13e1cb73ea10fc35dfb7cfa01a
parent5b030b7de57dbca1b2b9f5f93aeb53553922c47a (diff)
pinDerivations: explain it is useless with nix-direnv
-rw-r--r--modules/default.nix3
1 files changed, 3 insertions, 0 deletions
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 {