diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-08-09 16:43:47 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-08-09 16:43:47 +0200 |
commit | 5b7ed686d4a6c4ecb8e0302a42e85bb9bff42cac (patch) | |
tree | a0f042cf8afdaa3fb57ba142990297c9a68ca9bb /doc/man/gnunet-timeout.1 | |
parent | 7caba06019ecc5775d3dbb513b70f52f620affb5 (diff) | |
parent | c1d682ec363c5cb4e8fdca5ee9b4dd8eaff29204 (diff) | |
download | gnunet-5b7ed686d4a6c4ecb8e0302a42e85bb9bff42cac.tar.gz gnunet-5b7ed686d4a6c4ecb8e0302a42e85bb9bff42cac.zip |
merge
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) | ||