From 7c3bccf4baa821208df17b326bdea9c3e62f2c6e Mon Sep 17 00:00:00 2001 From: steve-chavez Date: Mon, 22 Dec 2025 19:51:00 -0500 Subject: [PATCH] nix: show wait time on withPgrst --- nix/tools/withTools.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/nix/tools/withTools.nix b/nix/tools/withTools.nix index 1a6d14053..eddffdd29 100644 --- a/nix/tools/withTools.nix +++ b/nix/tools/withTools.nix @@ -413,12 +413,14 @@ let } trap cleanup EXIT + wait_start=$SECONDS timeout -s TERM "$_arg_timeout" ${waitForPgrstReady} || { echo "timed out, output:" cat "$tmpdir"/run.log exit 1 } - echo "done." + wait_duration=$((SECONDS - wait_start)) + printf "done in %ss.\n" "$wait_duration" if [[ -n "$_arg_monitor" ]]; then ${monitorPid} "$pid" > "$_arg_monitor" &