diff options
| author | Ludovic Court`es | 2006-08-30 09:15:24 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2006-08-30 09:15:24 +0000 |
| commit | 0becf7642cd296ab7963b5672b649afc5eaf3d49 (patch) | |
| tree | 435e96a4c6784bb848eebc1b08d2b9b65b8f351e /src | |
| parent | 26fc9d18c3db792f500d73eb22e78860216d2a9b (diff) | |
| download | skribilo-0becf7642cd296ab7963b5672b649afc5eaf3d49.tar.gz skribilo-0becf7642cd296ab7963b5672b649afc5eaf3d49.tar.lz skribilo-0becf7642cd296ab7963b5672b649afc5eaf3d49.zip | |
Removed the `etc' directory, kept `ChangeLog' and `skribe-config.in'.
git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-52
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 + |