From 1676e2ee448a9b056fe63a1e499e08596cdfecf2 Mon Sep 17 00:00:00 2001
From: Norbert Melzer <timmelzer@gmail.com>
Date: Wed, 9 Sep 2020 15:16:45 +0200
Subject: [PATCH] use only local builder for direnv

---
 .envrc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.envrc b/.envrc
index 49c7ffdd..f43cafad 100644
--- a/.envrc
+++ b/.envrc
@@ -6,7 +6,9 @@ use_flake() {
 
     mkdir -p $(direnv_layout_dir)
 
-    eval "$(nix print-dev-env --profile "$(direnv_layout_dir)/flake-profile")"
+    eval "$(nix print-dev-env \
+              --profile "$(direnv_layout_dir)/flake-profile" \
+               --option builders "")"
 }
 
 use flake
-- 
2.51.2