annotate octave-config.in @ 6469:a848b846cb3a ss-2-9-10

[project @ 2007-03-27 18:42:11 by jwe]
author jwe
date Tue, 27 Mar 2007 18:42:11 +0000
parents e7e7c338bf99
children 5843c11b4006
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
1 #! /bin/sh -
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
2 #
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
3 # octave-config - reports some configuration values for Octave
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
4 #
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
5 # Rafael Laboissiere <rafael@laboissiere.net>
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
6 # This script is in the public domain
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
7
5909
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
8 API_VERSION=%OCTAVE_API_VERSION%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
9 CANONICAL_HOST_TYPE=%OCTAVE_CANONICAL_HOST_TYPE%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
10 DEFAULT_PAGER=%OCTAVE_DEFAULT_PAGER%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
11 ARCHLIBDIR=%OCTAVE_ARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
12 BINDIR=%OCTAVE_BINDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
13 DATADIR=%OCTAVE_DATADIR%
6319
e7e7c338bf99 [project @ 2007-02-16 11:14:44 by jwe]
jwe
parents: 6311
diff changeset
14 DATAROOTDIR=%OCTAVE_DATAROOTDIR%
5909
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
15 EXEC_PREFIX=%OCTAVE_EXEC_PREFIX%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
16 FCNFILEDIR=%OCTAVE_FCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
17 IMAGEDIR=%OCTAVE_IMAGEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
18 INCLUDEDIR=%OCTAVE_INCLUDEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
19 INFODIR=%OCTAVE_INFODIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
20 INFOFILE=%OCTAVE_INFOFILE%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
21 LIBDIR=%OCTAVE_LIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
22 LIBEXECDIR=%OCTAVE_LIBEXECDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
23 LOCALAPIARCHLIBDIR=%OCTAVE_LOCALAPIARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
24 LOCALAPIFCNFILEDIR=%OCTAVE_LOCALAPIFCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
25 LOCALAPIOCTFILEDIR=%OCTAVE_LOCALAPIOCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
26 LOCALARCHLIBDIR=%OCTAVE_LOCALARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
27 LOCALFCNFILEDIR=%OCTAVE_LOCALFCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
28 LOCALOCTFILEDIR=%OCTAVE_LOCALOCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
29 LOCALSTARTUPFILEDIR=%OCTAVE_LOCALSTARTUPFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
30 LOCALVERARCHLIBDIR=%OCTAVE_LOCALVERARCHLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
31 LOCALVERFCNFILEDIR=%OCTAVE_LOCALVERFCNFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
32 LOCALVEROCTFILEDIR=%OCTAVE_LOCALVEROCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
33 MAN1DIR=%OCTAVE_MAN1DIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
34 MAN1EXT=%OCTAVE_MAN1EXT%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
35 MANDIR=%OCTAVE_MANDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
36 OCTFILEDIR=%OCTAVE_OCTFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
37 OCTINCLUDEDIR=%OCTAVE_OCTINCLUDEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
38 OCTLIBDIR=%OCTAVE_OCTLIBDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
39 PREFIX=%OCTAVE_PREFIX%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
40 STARTUPFILEDIR=%OCTAVE_STARTUPFILEDIR%
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
41 VERSION=%OCTAVE_VERSION%
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
42
6311
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
43 if [ -n "$OCTAVE_HOME" ]; then
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
44 ARCHLIBDIR="`echo $ARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
45 BINDIR="`echo $BINDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
46 DATADIR="`echo $DATADIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
47 DATAROOTDIR="`echo $DATAROOTDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
48 EXEC_PREFIX="`echo $EXEC_PREFIX | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
49 FCNFILEDIR="`echo $FCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
50 IMAGEDIR="`echo $IMAGEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
51 INCLUDEDIR="`echo $INCLUDEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
52 INFODIR="`echo $INFODIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
53 INFOFILE="`echo $INFOFILE | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
54 LIBDIR="`echo $LIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
55 LIBEXECDIR="`echo $LIBEXECDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
56 LOCALAPIARCHLIBDIR="`echo $LOCALAPIARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
57 LOCALAPIFCNFILEDIR="`echo $LOCALAPIFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
58 LOCALAPIOCTFILEDIR="`echo $LOCALAPIOCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
59 LOCALARCHLIBDIR="`echo $LOCALARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
60 LOCALFCNFILEDIR="`echo $LOCALFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
61 LOCALOCTFILEDIR="`echo $LOCALOCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
62 LOCALSTARTUPFILEDIR="`echo $LOCALSTARTUPFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
63 LOCALVERARCHLIBDIR="`echo $LOCALVERARCHLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
64 LOCALVERFCNFILEDIR="`echo $LOCALVERFCNFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
65 LOCALVEROCTFILEDIR="`echo $LOCALVEROCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
66 MAN1DIR="`echo $MAN1DIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
67 MANDIR="`echo $MANDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
68 OCTFILEDIR="`echo $OCTFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
69 OCTINCLUDEDIR="`echo $OCTINCLUDEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
70 OCTLIBDIR="`echo $OCTLIBDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
71 STARTUPFILEDIR="`echo $STARTUPFILEDIR | sed "s,^$PREFIX,$OCTAVE_HOME,"`"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
72 fi
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
73 PREFIX="$OCTAVE_HOME"
e2a1aca62551 [project @ 2007-02-15 21:18:34 by jwe]
jwe
parents: 5909
diff changeset
74
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
75 usage_msg="usage: octave-config [options]"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
76
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
77 if [ $# -eq 0 ]; then
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
78 echo "$usage_msg" 1>&2
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
79 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
80 fi
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
81
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
82 while [ $# -gt 0 ]
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
83 do
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
84 case "$1" in
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
85 -h | -\? | --help)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
86 echo "$usage_msg"
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
87 cat << EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
88
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
89 Options:
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
90
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
91 -h, -?, --help Print this message.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
92
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
93 --m-site-dir Print the name of the directory where Octave
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
94 expects to find locally installed .m files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
95
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
96 --oct-site-dir Print the name of the directory where Octave
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
97 expects to find locally installed .oct files.
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
98
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
99 -p VAR, --print VAR Print the value of the given configuration
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
100 variable VAR. Recognized variables are:
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
101
5909
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
102 API_VERSION LOCALAPIARCHLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
103 CANONICAL_HOST_TYPE LOCALAPIFCNFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
104 DEFAULT_PAGER LOCALAPIOCTFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
105 ARCHLIBDIR LOCALARCHLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
106 BINDIR LOCALFCNFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
107 DATADIR LOCALOCTFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
108 EXEC_PREFIX LOCALSTARTUPFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
109 FCNFILEDIR LOCALVERARCHLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
110 LOCALVEROCTFILEDIR LOCALVERFCNFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
111 IMAGEDIR MAN1DIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
112 MAN1EXT MANDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
113 INCLUDEDIR OCTFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
114 INFODIR OCTINCLUDEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
115 INFOFILE OCTLIBDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
116 LIBDIR PREFIX
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
117 LIBEXECDIR STARTUPFILEDIR
a6a2423a9c25 [project @ 2006-07-27 19:35:22 by jwe]
jwe
parents: 4670
diff changeset
118 LIBEXECDIR VERSION
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
119
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
120 -v, --version Print the Octave version number.
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
121
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
122 EOF
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
123 exit 0
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
124 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
125 --m-site-dir)
4670
4ad69c3588a9 [project @ 2003-11-26 14:42:51 by jwe]
jwe
parents: 4449
diff changeset
126 echo $LOCALVERFCNFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
127 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
128 --oct-site-dir)
4670
4ad69c3588a9 [project @ 2003-11-26 14:42:51 by jwe]
jwe
parents: 4449
diff changeset
129 echo $LOCALVEROCTFILEDIR
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
130 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
131 -v | --version)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
132 echo $VERSION
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
133 ;;
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
134 -p | --print)
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
135 opt="$1"
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
136 shift
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
137 if [ $# -eq 0 ]; then
4444
9a2206207402 [project @ 2003-07-07 20:04:53 by jwe]
jwe
parents: 4443
diff changeset
138 echo "octave-config: $opt option requires argument" 1>&2
4443
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
139 exit 1
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
140 fi
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
141 eval echo \${$1}
aa345723c698 [project @ 2003-07-07 19:55:18 by jwe]
jwe
parents: 3845
diff changeset
142 ;;
3845
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
143 *)
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
144 echo "octave-config: unrecognized argument $1" 2>&1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
145 exit 1
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
146 ;;
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
147 esac
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
148 shift
d68c34dc9c25 [project @ 2001-07-26 02:11:05 by jwe]
jwe
parents:
diff changeset
149 done