diff options
Diffstat (limited to 'man/man1/maybe.1')
| -rw-r--r-- | man/man1/maybe.1 | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/man/man1/maybe.1 b/man/man1/maybe.1 deleted file mode 100644 index 9fd90c8b..00000000 --- a/man/man1/maybe.1 +++ /dev/null @@ -1,24 +0,0 @@ -.TH MAYBE 1 "February 2016" "Manual page for maybe" -.SH NAME -.B maybe -\- possibly exit with success -.SH USAGE -.B maybe [-hv] [-d DENOMINATOR] -.SH DESCRIPTION -Like true(1) or false(1), but exits with success randomly with a given -probability. Good for using in tests. Exits with 2 rather than 1 on usage -errors. -.P -This just uses integer division with Bash's special RANDOM variable, so it's -far from scientific precision. -.P -Option -h gives help, option -v turns on verbose output, option -d specifies -the denominator for the probability; defaults to 2 (i.e. roughly equal chance -of success or failure). -.P - $ maybe - $ maybe -v -d3 -.SH SEE ALSO -true(1), false(1), try(1) -.SH AUTHOR -Tom Ryder <tom@sanctum.geek.nz> |