diff options
author | Daniel Baumann <daniel@debian.org> | 2009-01-30 18:16:59 +0100 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:09:40 +0100 |
commit | 992a145afd7bec1b18d356909392d5c6bf20add5 (patch) | |
tree | f12b267da4f3ef366e18f0ca5ef9a8e6a7864e47 /functions | |
parent | e72f1790d493f19c186ae2b18f3c3665091d3039 (diff) | |
download | live-build-992a145afd7bec1b18d356909392d5c6bf20add5.zip live-build-992a145afd7bec1b18d356909392d5c6bf20add5.tar.gz |
Automatically displaying manpage when calling a helper with -h or --help.
Diffstat (limited to 'functions')
-rwxr-xr-x | functions/arguments.sh | 2 | ||||
-rwxr-xr-x | functions/man.sh | 17 |
2 files changed, 18 insertions, 1 deletions
diff --git a/functions/arguments.sh b/functions/arguments.sh index b2e4c92..bbc439c 100755 --- a/functions/arguments.sh +++ b/functions/arguments.sh @@ -43,7 +43,7 @@ Arguments () ;; -h|--help) - Help + Man shift ;; diff --git a/functions/man.sh b/functions/man.sh new file mode 100755 index 0000000..72213e2 --- /dev/null +++ b/functions/man.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +# man.sh - print man information +# Copyright (C) 2006-2009 Daniel Baumann <daniel@debian.org> +# +# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING. +# This is free software, and you are welcome to redistribute it +# under certain conditions; see COPYING for details. + +Man () +{ + if [ -x "$(which man 2>/dev/null)" ] + then + man $(basename ${0}) + exit 0 + fi +} |