From 63ed011c4698ab14f2a80295a4b91733ef788dae Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Giraudeau <jb@giraudeau.info>
Date: Fri, 17 Feb 2023 16:41:10 +0100
Subject: [PATCH] devops shell: don't include build tools for all hasPkgs

 because this lead to duplicates PATH entries for cardano-cli, cardano-node, etc.
 with one having gitrev set and the other not set.
---
 shell.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/shell.nix b/shell.nix
index 8ffb5d28c02..79e8b1b72f8 100644
--- a/shell.nix
+++ b/shell.nix
@@ -101,7 +101,6 @@ let
       cardano-cli
       bech32
       cardano-ping
-      cardano-cli
       cardano-node
       cardano-topology
       cardano-tracer
@@ -119,6 +118,9 @@ let
       pkgs.time
     ];
 
+    # Disable build tools for all of hsPkgs (would include duplicates for cardano-cli, cardano-node, etc.)
+    allToolDeps = false;
+
     shellHook = ''
       echo "DevOps Tools" \
       | ${figlet}/bin/figlet -f banner -c \