workbench: minor fixes

IntersectMBO · May 10, 2022 · 1d3d3a1 · 1d3d3a1
1 parent 7319ac0
commit 1d3d3a1
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/nix/workbench/default.nix b/nix/workbench/default.nix
@@ -36,6 +36,7 @@ let
     [ git graphviz
       jq
       moreutils
+      procps
 
       cardano-cli
       cardano-topology

diff --git a/nix/workbench/wb b/nix/workbench/wb
@@ -141,7 +141,7 @@ start()
     profile_name=${profile_name:-$(jq '.name' -r $profile/profile.json)}
 
     progress "top-level" "iterations of profile $(with_color 'yellow' $profile_name):  $(with_color 'white' $iterations)"
-    for ((i=0; i<=$iterations; i++))
+    for ((i=0; i<$iterations; i++))
     do local args=(
             ${run_allocate_args[@]}
             --manifest "$(manifest collect-from-checkout .)"

diff --git a/shell.nix b/shell.nix
@@ -164,8 +164,6 @@ let
       | ${figlet}/bin/figlet -f banner -c \
       | ${lolcat}/bin/lolcat
 
-      wb explain-mode
-
       ${with customConfig.localCluster;
         (import ./nix/workbench/shell.nix { inherit lib workbenchDevMode; useCabalRun = false; }).shellHook}