From 48820ee2d322dfd6f4a040c9a5cac79205908456 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Thu, 25 Feb 2021 11:18:56 +0100 Subject: [PATCH] resultTree: garlic must be used from the nix shell --- garlic/pp/store.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/garlic/pp/store.nix b/garlic/pp/store.nix index 3944286..40d5591 100644 --- a/garlic/pp/store.nix +++ b/garlic/pp/store.nix @@ -43,7 +43,8 @@ in if [ ! -e "$exp" ]; then echo "resultTree: $exp: not found" - echo "resultTree: run the experiment and fetch the results with:" + echo "resultTree: run the experiment and fetch the results running" + echo "resultTree: the following command from the nix-shell" echo echo -e "\e[30;48;5;2mgarlic -RFv ${trebuchet}\e[0m" echo