From 7ca0d469367d480804b2b8b91bdceb653ada754a Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sun, 18 Apr 2021 12:46:54 +0200
Subject: [PATCH] nix(fix): Fix `postgrest-push-cachix` in `nix-shell --pure`

---
 nix/tools/devtools.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/nix/tools/devtools.nix b/nix/tools/devtools.nix
index c7b02199f..0d480d2c7 100644
--- a/nix/tools/devtools.nix
+++ b/nix/tools/devtools.nix
@@ -1,10 +1,12 @@
 { buildToolbox
 , cabal-install
+, cachix
 , checkedShellScript
 , devCabalOptions
 , entr
 , graphviz
 , hsie
+, nix
 , silver-searcher
 , style
 , tests
@@ -48,11 +50,11 @@ let
         inRootDir = true;
       }
       ''
-        nix-instantiate \
+        ${nix}/bin/nix-instantiate \
           | while read -r drv; do
-              nix-store -qR --include-outputs "$drv"
+              ${nix}/bin/nix-store -qR --include-outputs "$drv"
             done \
-          | cachix push postgrest
+          | ${cachix}/bin/cachix push postgrest
       '';
 
   build =