diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-07-03 06:49:02 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-07-03 06:49:02 +0000 |
| commit | 061526a35bf19cd71e375ae7eb9dc3b5fd6c711f (patch) | |
| tree | 29b3783f28375235c19b52a1148031a7b39c7f11 /doc/man/gnunet-timeout.1 | |
| parent | c579fa83c2652aac6a093ceeb36854bee3800cbe (diff) | |
| parent | bb3371542e3c1fff2c4abb4d2ba3decf925b4352 (diff) | |
| download | gnunet-061526a35bf19cd71e375ae7eb9dc3b5fd6c711f.tar.gz gnunet-061526a35bf19cd71e375ae7eb9dc3b5fd6c711f.zip | |
Merge branch 'master' of gnunet.org:gnunet
Diffstat (limited to 'doc/man/gnunet-timeout.1')
| -rw-r--r-- | doc/man/gnunet-timeout.1 | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/man/gnunet-timeout.1 b/doc/man/gnunet-timeout.1 new file mode 100644 index 000000000..e413254f4 --- /dev/null +++ b/doc/man/gnunet-timeout.1 | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | .TH GNUNET\-TIMOUET 1 "Jun 5, 2018" "GNUnet" | ||
| 2 | |||
| 3 | .SH NAME | ||
| 4 | gnunet\-timeout \- run process with timeout | ||
| 5 | |||
| 6 | .SH SYNOPSIS | ||
| 7 | .B gnunet\-timeout | ||
| 8 | .RI TIMEOUT PROGRAM ARGS | ||
| 9 | .br | ||
| 10 | |||
| 11 | .SH DESCRIPTION | ||
| 12 | \fBgnunet\-timeout\fP can be used to run another process with a | ||
| 13 | timeout. Provided as the standard "timout" utility may not be | ||
| 14 | available on all platforms. | ||
| 15 | |||
| 16 | .SH BUGS | ||
| 17 | Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending electronic mail to <gnunet\-developers@gnu.org> | ||
| 18 | |||
| 19 | .SH SEE | ||
| 20 | timeout(1) | ||