Merge #4896

4896: devops shell: don't include build tools for all hasPkgs r=jbgi a=jbgi

 because this lead to duplicates PATH entries for cardano-cli, cardano-node, etc.
 with one having gitrev set and the other not set.

Co-authored-by: Jean-Baptiste Giraudeau <jb@giraudeau.info>

shell.nix

@@ -100,7 +100,6 @@ let
       cardano-cli
       bech32
       cardano-ping
-      cardano-cli
       cardano-node
       cardano-topology
       cardano-tracer
@@ -118,6 +117,9 @@ let
       workbench-interactive-restart
     ];
 
+    # 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 \