retry: add page (#9849)

pull/3/head
Gingeh 2023-02-16 19:26:09 +11:00 committed by GitHub
parent 8e421f41f7
commit f7cc9d4d35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 16 additions and 0 deletions

16
pages/common/retry.md Normal file
View File

@ -0,0 +1,16 @@
# retry
> Repeat command until it succeeds or a criterion is met.
> More information: <https://github.com/minfrin/retry>.
- 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}}`