From d2aa6c1b8a24116517f58b08702c7ed9b40c2349 Mon Sep 17 00:00:00 2001 From: steve-chavez Date: Sun, 21 Dec 2025 21:02:49 -0500 Subject: [PATCH] nix: timeout param for withPgrst --- nix/tools/withTools.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/nix/tools/withTools.nix b/nix/tools/withTools.nix index 341721353..1a6d14053 100644 --- a/nix/tools/withTools.nix +++ b/nix/tools/withTools.nix @@ -361,6 +361,7 @@ let "ARG_POSITIONAL_SINGLE([command], [Command to run])" "ARG_LEFTOVERS([command arguments])" "ARG_OPTIONAL_SINGLE([monitor], [m], [Enable CPU and memory monitoring of the PostgREST process and output to the designated file as markdown])" + "ARG_OPTIONAL_SINGLE([timeout], [t], [Timeout for the PostgREST process], [5])" "ARG_USE_ENV([PGRST_CMD], [], [PostgREST executable to run])" ]; positionalCompletion = "_command"; @@ -412,7 +413,7 @@ let } trap cleanup EXIT - timeout -s TERM 5 ${waitForPgrstReady} || { + timeout -s TERM "$_arg_timeout" ${waitForPgrstReady} || { echo "timed out, output:" cat "$tmpdir"/run.log exit 1