From f7cc9d4d357e367dad054c4c481aeb99d9cc21d5 Mon Sep 17 00:00:00 2001 From: Gingeh <39150378+Gingeh@users.noreply.github.com> Date: Thu, 16 Feb 2023 19:26:09 +1100 Subject: [PATCH] retry: add page (#9849) --- pages/common/retry.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 pages/common/retry.md diff --git a/pages/common/retry.md b/pages/common/retry.md new file mode 100644 index 0000000000..c5538f44a8 --- /dev/null +++ b/pages/common/retry.md @@ -0,0 +1,16 @@ +# retry + +> Repeat command until it succeeds or a criterion is met. +> More information: . + +- Retry a command until it succeeds: + +`retry {{command}}` + +- Retry a command every n seconds until it succeeds: + +`retry --delay={{n}} {{command}}` + +- Give up after n attempts: + +`retry --times={{n}} {{command}}`