diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/skribe-config.in | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/src/skribe-config.in b/src/skribe-config.in new file mode 100644 index 0000000..2a03e26 --- /dev/null +++ b/src/skribe-config.in @@ -0,0 +1,64 @@ +#!/bin/sh +# +# Author: Erick Gallesio [eg@essi.fr] +# Creation date: 19-Nov-2003 21:04 (eg) +# Last file update: 19-Nov-2003 22:29 (eg) + + +function usage() +{ + cat <<EOF +Usage: skribe-config [OPTIONS] +Options: + [--prefix | -p] Prefix that was given during the build + [--version | -v] Version of Skribe that is installed + [--skr-dir | -k] Display the skr directory location + [--extension-dir | -e] Display the extension directory location + [--doc-dir | -d] Display the documentation directory location + [--emacs-dir | -m] Display the emacs directory location + [--scheme | -s] Display the Scheme systeme used + [--help | -h | -?] Show a list of options +EOF + exit $1 +} + + +if test $# -eq 0; then + usage 1 1>&2 +fi + +while test $# -gt 0; do + case $1 in + --prefix|-p) + echo @PREFIX@ + ;; + --version|-v) + echo @SKRIBE_RELEASE@ + ;; + --extension-dir|-e) + echo @SKRIBE_EXT_DIR@ + ;; + --skr-dir|-k) + echo @SKRIBE_SKR_DIR@ + ;; + --doc-dir|-d) + echo @SKRIBE_DOC_DIR@ + ;; + --emacs-dir|-m) + echo @SKRIBE_EMACS_DIR@ + ;; + --scheme|-s) + echo @SYSTEM@ + ;; + --help|-h|-\?) + usage 0 1>&2 + ;; + *) + echo "bad option $1" 1>&2 + usage 1 1>&2 + ;; + esac + shift +done +exit 0 + |