annotate src/user-prefs.cc @ 2042:31f4f775b8c6

[project @ 1996-03-28 09:06:28 by jwe]
author jwe
date Thu, 28 Mar 1996 09:06:39 +0000
parents 003570e69c7b
children 49cdc5b183bc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2
1884
e62277bf5fe0 [project @ 1996-02-05 18:17:59 by jwe]
jwe
parents: 1799
diff changeset
3 Copyright (C) 1996 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
4
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7 Octave is free software; you can redistribute it and/or modify it
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
9 Free Software Foundation; either version 2, or (at your option) any
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
10 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
11
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12 Octave is distributed in the hope that it will be useful, but WITHOUT
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
15 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
16
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
18 along with Octave; see the file COPYING. If not, write to the Free
1315
611d403c7f3d [project @ 1995-06-25 19:56:32 by jwe]
jwe
parents: 1201
diff changeset
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
20
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
21 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
22
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 195
diff changeset
23 #ifdef HAVE_CONFIG_H
1192
b6360f2d4fa6 [project @ 1995-03-30 21:38:35 by jwe]
jwe
parents: 1121
diff changeset
24 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
25 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
26
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
27 #include <cstdio>
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
28 #include <cstdlib>
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
29 #include <cstring>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
30
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
31 #include "Array-flags.h"
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
32
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1343
diff changeset
33 #include "error.h"
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
34 #include "gripes.h"
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
35 #include "mappers.h"
1799
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
36 #include "oct-hist.h"
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
37 #include "sysdep.h"
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1343
diff changeset
38 #include "user-prefs.h"
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1343
diff changeset
39 #include "utils.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
40 #include "variables.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
41
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
42 // The list of user preferences. Values change when global variables
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
43 // change, so we don't have to do a variable look up every time we
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
44 // need to check a preference.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
45 user_preferences user_pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
46
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
47 // Initialize global user_pref structure.
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
48
831
23de7aa68e3a [project @ 1994-10-17 22:03:20 by jwe]
jwe
parents: 720
diff changeset
49 void
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
50 init_user_prefs (void)
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
51 {
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
52 user_pref.automatic_replot = 0;
1423
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
53 user_pref.beep_on_error = 0;
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
54 user_pref.define_all_return_values = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
55 user_pref.do_fortran_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
56 user_pref.empty_list_elements_ok = 0;
1502
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
57 user_pref.gnuplot_has_multiplot = 0;
1646
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
58 user_pref.history_size = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
59 user_pref.ignore_function_time_stamp = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
60 user_pref.implicit_str_to_num_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
61 user_pref.ok_to_lose_imaginary_part = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
62 user_pref.output_max_field_width = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
63 user_pref.output_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
64 user_pref.page_screen_output = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
65 user_pref.prefer_column_vectors = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
66 user_pref.prefer_zero_one_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
67 user_pref.print_answer_id_name = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
68 user_pref.print_empty_dimensions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
69 user_pref.propagate_empty_matrices = 0;
1045
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
70 user_pref.read_only_constants = 1;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
71 user_pref.resize_on_range_error = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
72 user_pref.return_last_computed_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
73 user_pref.save_precision = 0;
1642
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
74 user_pref.saving_history = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
75 user_pref.silent_functions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
76 user_pref.split_long_rows = 0;
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
77 user_pref.struct_levels_to_print = 0;
1116
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
78 user_pref.suppress_verbose_help_message = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
79 user_pref.treat_neg_dim_as_zero = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
80 user_pref.warn_assign_as_truth_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
81 user_pref.warn_comma_in_global_decl = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
82 user_pref.warn_divide_by_zero = 0;
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
83 user_pref.warn_function_name_clash = 0;
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
84 user_pref.whitespace_in_literal_matrix = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
85
1429
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
86 user_pref.completion_append_char = '\0';
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
87
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
88 user_pref.default_save_format = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
89 user_pref.editor = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
90 user_pref.exec_path = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
91 user_pref.gnuplot_binary = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
92 user_pref.history_file = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
93 user_pref.imagepath = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
94 user_pref.info_file = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
95 user_pref.info_prog = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
96 user_pref.loadpath = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
97 user_pref.pager_binary = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
98 user_pref.ps1 = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
99 user_pref.ps2 = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
100 user_pref.ps4 = string ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
101 user_pref.pwd = string ();
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
102 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
103
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
104 // Check the value of a string variable to see if it it's ok to do
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
105 // something.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
106 //
673
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
107 // return of 1 => always ok.
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
108 // return of 0 => never ok.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
109 // return of -1 => ok, but give me warning (default).
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
110
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
111 // XXX FIXME XXX -- should also allow zero to mean "false" and nonzero
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
112 // to mean "true".
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
113
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
114 static int
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
115 check_preference (const string& var)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
116 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
117 int pref = -1;
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
118
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
119 string val = builtin_string_variable (var);
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
120
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
121 if (val.empty ())
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
122 {
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
123 double dval = 0;
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
124 if (builtin_real_scalar_variable (var, dval))
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
125 pref = NINT (dval);
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
126 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
127 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
128 {
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
129 if (val.compare ("yes", 0, 3) == 0
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
130 || val.compare ("true", 0, 4) == 0)
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
131 pref = 1;
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
132 else if (val.compare ("never", 0, 5) == 0
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
133 || val.compare ("no", 0, 2) == 0
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
134 || val.compare ("false", 0, 5) == 0)
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
135 pref = 0;
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
136 }
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
137
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
138 return pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
139 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
140
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
141 // XXX FIXME XXX -- some of these should do their own checking to be
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
142 // able to provide more meaningful warning or error messages.
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
143
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
144 // Should a replot command be generated automatically each time a plot
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
145 // changes in some way?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
146
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
147 int
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
148 automatic_replot (void)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
149 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
150 user_pref.automatic_replot = check_preference ("automatic_replot");
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
151
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
152 return 0;
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
153 }
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
154
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
155
1423
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
156 // Should we beep obnoxiously before printing error messages?
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
157
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
158 int
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
159 beep_on_error (void)
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
160 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
161 user_pref.beep_on_error = check_preference ("beep_on_error");
1423
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
162
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
163 return 0;
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
164 }
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
165
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1422
diff changeset
166
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
167 // Should variables returned from functions have default values if
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
168 // they are otherwise uninitialized?
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
169
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
170 int
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
171 define_all_return_values (void)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
172 {
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
173 user_pref.define_all_return_values =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
174 check_preference ("define_all_return_values");
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
175
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
176 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
177 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
178
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
179
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
180 // Should we allow assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
181 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
182 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
183 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
184 // for A already defined and a matrix type?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
185
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
186 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
187 do_fortran_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
188 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
189 user_pref.do_fortran_indexing =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
190 check_preference ("do_fortran_indexing");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
191
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
192 liboctave_dfi_flag = user_pref.do_fortran_indexing;
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
193
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
194 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
195 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
196
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
197
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
198 // Echo commands as they are executed?
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
199 //
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
200 // 1 ==> echo commands read from script files
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
201 // 2 ==> echo commands from functions
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
202 // 4 ==> echo commands read from command line
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
203 //
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
204 // more than one state can be active at once.
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
205
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
206 int
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
207 echo_executing_commands (void)
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
208 {
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
209 user_pref.echo_executing_commands =
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
210 check_preference ("echo_executing_commands");
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
211
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
212 return 0;
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
213 }
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
214
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1511
diff changeset
215
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
216 // Should ignore empty elements in a matrix list (i.e., is an
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
217 // expression like `[[], 1]' ok?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
218
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
219 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
220 empty_list_elements_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
221 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
222 user_pref.empty_list_elements_ok =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
223 check_preference ("empty_list_elements_ok");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
224
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
225 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
226 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
227
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
228
1502
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
229 // Does gnuplot appear to support multiplot?
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
230
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
231 int
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
232 gnuplot_has_multiplot (void)
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
233 {
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
234 user_pref.gnuplot_has_multiplot =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
235 check_preference ("gnuplot_has_multiplot");
1502
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
236
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
237 return 0;
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
238 }
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
239
75e9ce7a1ce2 [project @ 1995-10-03 00:55:47 by jwe]
jwe
parents: 1429
diff changeset
240
1646
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
241 // How many lines of command history should we save?
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
242
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
243 int
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
244 history_size (void)
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
245 {
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
246 double val;
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
247 if (builtin_real_scalar_variable ("history_size", val)
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
248 && ! xisnan (val))
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
249 {
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
250 int ival = NINT (val);
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
251 if (ival >= 0 && (double) ival == val)
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
252 {
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
253 user_pref.history_size = ival;
1799
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
254 octave_command_history.set_size (ival);
1646
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
255 return 0;
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
256 }
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
257 }
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
258 gripe_invalid_value_specified ("history_size");
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
259 return -1;
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
260 }
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
261
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
262
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
263 // Should Octave always check to see if function files have changed
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
264 // since they were last compiled?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
265
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
266 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
267 ignore_function_time_stamp (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
268 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
269 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
270
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
271 string val = builtin_string_variable ("ignore_function_time_stamp");
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
272
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
273 if (! val.empty ())
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
274 {
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
275 if (val.compare ("all", 0, 3) == 0)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
276 pref = 2;
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
277 if (val.compare ("system", 0, 6) == 0)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
278 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
279 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
280
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
281 user_pref.ignore_function_time_stamp = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
282
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
283 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
284 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
285
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
286
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
287 // Should we allow things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
288 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
289 // octave> 'abc' + 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
290 // 97 98 99
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
291 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
292 // to happen?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
293
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
294 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
295 implicit_str_to_num_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
297 user_pref.implicit_str_to_num_ok =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
298 check_preference ("implicit_str_to_num_ok");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
299
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
300 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
301 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
302
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
303
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
304 // Should we allow silent conversion of complex to real when a real
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
305 // type is what we're really looking for?
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
306
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
307 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
308 ok_to_lose_imaginary_part (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
310 user_pref.ok_to_lose_imaginary_part =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
311 check_preference ("ok_to_lose_imaginary_part");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
312
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
315
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
316
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
317 // If possible, send all output intended for the screen through the
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
318 // pager.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
319
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
320 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
321 page_screen_output (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
322 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
323 user_pref.page_screen_output = check_preference ("page_screen_output");
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
324
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
325 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
326 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
327
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
328
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
329 // When doing assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
330 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
331 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
332 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
333 // (for A undefined) should we build column vectors? Returning true
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
334 // only matters when resize_on_range_error is also true.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
335
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
336 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
337 prefer_column_vectors (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
338 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
339 user_pref.prefer_column_vectors =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
340 check_preference ("prefer_column_vectors");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
341
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
342 liboctave_pcv_flag = user_pref.prefer_column_vectors;
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
343
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
344 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
346
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
347
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
348 // For things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
349 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
350 // a = [2,3]; a([1,1])
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
351 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
352 // return [2 3] instead of [2 2].
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
353
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
354 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
355 prefer_zero_one_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
356 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357 user_pref.prefer_zero_one_indexing =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
358 check_preference ("prefer_zero_one_indexing");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
359
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
360 liboctave_pzo_flag = user_pref.prefer_zero_one_indexing;
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
361
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
362 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
363 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
364
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
365
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
366 // Should we print things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
367 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
368 // octave> a = [1,2;3,4]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
369 // a =
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
370 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
371 // 1 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
372 // 3 4
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
373
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
374 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
375 print_answer_id_name (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
377 user_pref.print_answer_id_name =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
378 check_preference ("print_answer_id_name");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
381 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
382
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
383
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
384 // Should we also print the dimensions of empty matrices?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
385
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
386 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
387 print_empty_dimensions (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
388 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
389 user_pref.print_empty_dimensions =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
390 check_preference ("print_empty_dimensions");
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
391
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
392 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
393 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
394
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
395
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
396 // Should operations on empty matrices return empty matrices or an
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
397 // error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
398
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
399 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
400 propagate_empty_matrices (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
401 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
402 user_pref.propagate_empty_matrices =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
403 check_preference ("propagate_empty_matrices");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
404
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
405 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
406 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
407
1045
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
408 // Should built-in constants always be read only?
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
409
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
410 int
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
411 read_only_constants (void)
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
412 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
413 user_pref.read_only_constants = check_preference ("read_only_constants");
1045
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
414
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
415 return 0;
cb4eaa324faf [project @ 1995-01-18 19:48:19 by jwe]
jwe
parents: 1044
diff changeset
416 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
417
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
418 // When doing assignments, should we resize matrices if the indices
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
419 // are outside the current bounds?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
420
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
421 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
422 resize_on_range_error (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424 user_pref.resize_on_range_error =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
425 check_preference ("resize_on_range_error");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
426
1907
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
427 liboctave_rre_flag = user_pref.resize_on_range_error;
8c6cea97eb80 [project @ 1996-02-10 01:12:46 by jwe]
jwe
parents: 1884
diff changeset
428
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
429 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
430 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
431
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
432
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
433 // If a function does not return any values explicitly, return the
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
434 // last computed value.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
435
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
436 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
437 return_last_computed_value (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
438 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439 user_pref.return_last_computed_value =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
440 check_preference ("return_last_computed_value");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
441
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
442 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
443 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
444
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
445
1642
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
446 // Should we save command history?
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
447
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
448 int
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
449 saving_history (void)
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
450 {
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
451 user_pref.saving_history = check_preference ("saving_history");
1799
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
452 octave_command_history.ignore_entries (! user_pref.saving_history);
1642
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
453 return 0;
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
454 }
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
455
50e71230d582 [project @ 1995-12-08 22:07:30 by jwe]
jwe
parents: 1613
diff changeset
456
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
457 // Suppress printing results in called functions.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
458
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
459 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
460 silent_functions (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
461 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
462 user_pref.silent_functions =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
463 check_preference ("silent_functions");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
464
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
465 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
466 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
467
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
468
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
469 // Should should big matrices be split into smaller slices for output?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
470
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
471 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
472 split_long_rows (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
473 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
474 user_pref.split_long_rows = check_preference ("split_long_rows");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
475
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
476 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
477 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
478
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
479
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
480 // How many levels of structure elements should we print?
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
481
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
482 int
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
483 struct_levels_to_print (void)
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
484 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
485 double val;
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
486 if (builtin_real_scalar_variable ("struct_levels_to_print", val)
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
487 && ! xisnan (val))
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
488 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
489 int ival = NINT (val);
1201
97c541091d3b [project @ 1995-03-31 23:16:28 by jwe]
jwe
parents: 1198
diff changeset
490 if (ival >= 0 && (double) ival == val)
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
491 {
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
492 user_pref.struct_levels_to_print = ival;
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
493 return 0;
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
494 }
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
495 }
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
496 gripe_invalid_value_specified ("struct_levels_to_print");
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
497 return -1;
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
498 }
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
499
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
500
1116
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
501 // Suppress printing of additional help message in help and usage
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
502 // functions?
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
503
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
504 int
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
505 suppress_verbose_help_message (void)
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
506 {
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
507 user_pref.suppress_verbose_help_message =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
508 check_preference ("suppress_verbose_help_message");
1116
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
509
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
510 return 0;
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
511 }
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
512
0e2974c1cc37 [project @ 1995-02-15 21:16:26 by jwe]
jwe
parents: 1093
diff changeset
513
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
514 // Should things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
515 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
516 // octave> ones (-1, 5)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
517 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
518 // result in an empty matrix or an error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
519
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
520 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
521 treat_neg_dim_as_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
522 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
523 user_pref.treat_neg_dim_as_zero =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
524 check_preference ("treat_neg_dim_as_zero");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
525
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
526 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
527 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
528
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
529
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
530 // Generate a warning for the assignment in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
531 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
532 // octave> if (a = 2 < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
533 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
534 // but not
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
535 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
536 // octave> if ((a = 2) < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
537
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
538 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
539 warn_assign_as_truth_value (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
540 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
541 user_pref.warn_assign_as_truth_value =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
542 check_preference ("warn_assign_as_truth_value");
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
543
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
544 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
545 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
546
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
547
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
548 // Generate a warning for the comma in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
549 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
550 // octave> global a, b = 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
551
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
552 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
553 warn_comma_in_global_decl (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
554 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
555 user_pref.warn_comma_in_global_decl =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
556 check_preference ("warn_comma_in_global_decl");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
557
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
558 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
559 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
560
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
561
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
562 // On IEEE machines, allow divide by zero errors to be suppressed.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
563
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
564 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
565 warn_divide_by_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
566 {
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
567 user_pref.warn_divide_by_zero = check_preference ("warn_divide_by_zero");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
568
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
569 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
570 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
571
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
572 // Generate warning if declared function name disagrees with the name
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
573 // of the file in which it is defined.
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
574
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
575 int
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
576 warn_function_name_clash (void)
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
577 {
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
578 user_pref.warn_function_name_clash =
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
579 check_preference ("warn_function_name_clash");
1037
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
580
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
581 return 0;
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
582 }
d383ec996ee1 [project @ 1995-01-17 03:20:16 by jwe]
jwe
parents: 1009
diff changeset
583
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
584
1511
74f9e88a2c12 [project @ 1995-10-03 10:49:31 by jwe]
jwe
parents: 1509
diff changeset
585 // Generate warning if a statement in a function is not terminated
74f9e88a2c12 [project @ 1995-10-03 10:49:31 by jwe]
jwe
parents: 1509
diff changeset
586 // with a semicolon. Useful for checking functions that should only
74f9e88a2c12 [project @ 1995-10-03 10:49:31 by jwe]
jwe
parents: 1509
diff changeset
587 // produce output using explicit printing statements.
1509
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
588
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
589 int
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
590 warn_missing_semicolon (void)
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
591 {
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
592 user_pref.warn_missing_semicolon =
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
593 check_preference ("warn_missing_semicolon");
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
594
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
595 return 0;
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
596 }
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
597
36477a20e8c8 [project @ 1995-10-03 10:34:12 by jwe]
jwe
parents: 1505
diff changeset
598
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
599 // Should whitespace in a literal matrix list be automatically
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
600 // converted to commas and semicolons?
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
601 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
602 // user specifies value of pref
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
603 // -------------- -------------
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
604 // "ignore" 2
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
605 // "traditional" 1
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
606 // anything else 0
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
607 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
608 // Octave will never insert a comma in a literal matrix list if the
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
609 // user specifies "ignore". For example, the statement [1 2] will
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
610 // result in an error instead of being treated the same as [1, 2], and
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
611 // the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
612 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
613 // [ 1, 2,
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
614 // 3, 4 ]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
615 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
616 // will result in the vector [1 2 3 4] instead of a matrix.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
617 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
618 // Traditional behavior makes Octave convert spaces to a comma between
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
619 // identifiers and `('. For example, the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
620 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
621 // [eye (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
622 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
623 // will be parsed as
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
624 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
625 // [eye, (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
626 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
627 // and will result in an error since the `eye' function will be
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
628 // called with no arguments. To get around this, you would have to
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
629 // omit the space between `eye' and the `('.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
630 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
631 // The default value is 0, which results in behavior that is the same
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
632 // as traditional, except that Octave does not convert spaces to a
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
633 // comma between identifiers and `('. For example, the statement
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
634 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
635 // [eye (2)]
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
636 //
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
637 // will result in a call to `eye' with the argument `2'.
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
638
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
639 int
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
640 whitespace_in_literal_matrix (void)
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
641 {
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
642 int pref = 0;
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
643 string val = builtin_string_variable ("whitespace_in_literal_matrix");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
644 if (! val.empty ())
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
645 {
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
646 if (val.compare ("ignore", 0, 6) == 0)
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
647 pref = 2;
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
648 else if (val.compare ("traditional", 0, 11) == 0)
1093
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
649 pref = 1;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
650 }
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
651 user_pref.whitespace_in_literal_matrix = pref;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
652 return 0;
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
653 }
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
654
51fd9e40a7f7 [project @ 1995-02-03 21:57:34 by jwe]
jwe
parents: 1086
diff changeset
655
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
656 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
657 set_output_max_field_width (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
658 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
659 double val;
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
660 if (builtin_real_scalar_variable ("output_max_field_width", val)
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
661 && ! xisnan (val))
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
662 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
663 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
664 if (ival > 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
665 {
1198
1352ecca2d91 [project @ 1995-03-31 22:13:32 by jwe]
jwe
parents: 1192
diff changeset
666 user_pref.output_max_field_width = ival;
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
667 return 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
668 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
669 }
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
670 gripe_invalid_value_specified ("output_max_field_width");
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
671 return -1;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
672 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
673
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
674 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
675 set_output_precision (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
676 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
677 double val;
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
678 if (builtin_real_scalar_variable ("output_precision", val)
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
679 && ! xisnan (val))
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
680 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
681 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
682 if (ival >= 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
683 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
684 user_pref.output_precision = ival;
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
685 return 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
686 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
687 }
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
688 gripe_invalid_value_specified ("output_precision");
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
689 return -1;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
690 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
691
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
692 int
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
693 set_save_precision (void)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
694 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
695 double val;
1505
7b665f9a97fa [project @ 1995-10-03 03:11:50 by jwe]
jwe
parents: 1502
diff changeset
696 if (builtin_real_scalar_variable ("save_precision", val)
1086
75fc98220389 [project @ 1995-01-31 04:17:15 by jwe]
jwe
parents: 1045
diff changeset
697 && ! xisnan (val))
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
698 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
699 int ival = NINT (val);
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
700 if (ival >= 0 && (double) ival == val)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
701 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
702 user_pref.save_precision = ival;
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
703 return 0;
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
704 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
705 }
1422
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
706 gripe_invalid_value_specified ("save_precision");
afde7233c4dc [project @ 1995-09-16 02:49:27 by jwe]
jwe
parents: 1416
diff changeset
707 return -1;
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
708 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
709
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
710 int
1429
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
711 sv_completion_append_char (void)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
712 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
713 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
714
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
715 string s = builtin_string_variable ("completion_append_char");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
716
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
717 switch (s.length ())
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
718 {
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
719 case 1:
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
720 user_pref.completion_append_char = s[0];
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
721 break;
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
722
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
723 case 0:
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
724 user_pref.completion_append_char = '\0';
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
725 break;
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
726
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
727 default:
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
728 warning ("completion_append_char must be a single character");
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
729 status = -1;
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
730 break;
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
731 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
732
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
733 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
734 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
735
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
736 int
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
737 sv_default_save_format (void)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
738 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
739 int status = 0;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
740
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
741 string s = builtin_string_variable ("default_save_format");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
742
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
743 if (s.empty ())
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
744 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
745 gripe_invalid_value_specified ("default_save_format");
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
746 status = -1;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
747 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
748 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
749 user_pref.default_save_format = s;
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
750
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
751 return status;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
752 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
753
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
754 int
1429
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
755 sv_editor (void)
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
756 {
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
757 int status = 0;
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
758
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
759 string s = builtin_string_variable ("EDITOR");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
760
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
761 if (s.empty ())
1429
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
762 {
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
763 gripe_invalid_value_specified ("EDITOR");
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
764 status = -1;
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
765 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
766 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
767 user_pref.editor = s;
1429
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
768
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
769 return status;
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
770 }
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
771
245206fbed64 [project @ 1995-09-19 06:58:46 by jwe]
jwe
parents: 1423
diff changeset
772 int
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
773 sv_exec_path (void)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
774 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
775 int status = 0;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
776
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
777 string exec_path = builtin_string_variable ("EXEC_PATH");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
778
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
779 if (exec_path.empty ())
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
780 {
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
781 gripe_invalid_value_specified ("EXEC_PATH");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
782 status = -1;
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
783 }
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
784 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
785 {
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
786 string arch_dir = octave_arch_lib_dir ();
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
787 string bin_dir = octave_bin_dir ();
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
788
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
789 int len = arch_dir.length () + bin_dir.length () + strlen (SEPCHAR_STR);
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
790
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
791 static char *putenv_cmd = 0;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
792
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
793 delete [] putenv_cmd;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
794
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
795 putenv_cmd = 0;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
796
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
797 int eplen = exec_path.length ();
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
798
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
799 if (eplen > 0)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
800 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
801 int prepend = (exec_path[0] == ':');
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
802 int append = (eplen > 1 && exec_path[eplen-1] == ':');
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
803
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
804 if (prepend)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
805 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
806 if (append)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
807 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
808 putenv_cmd = new char [2 * len + eplen + 6];
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
809 sprintf (putenv_cmd,
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
810 "PATH=%s" SEPCHAR_STR "%s%s%s" SEPCHAR_STR "%s",
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
811 arch_dir.c_str (), bin_dir.c_str (),
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
812 exec_path.c_str (), arch_dir.c_str (),
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
813 bin_dir.c_str ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
814 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
815 else
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
816 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
817 putenv_cmd = new char [len + eplen + 6];
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
818 sprintf (putenv_cmd,
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
819 "PATH=%s" SEPCHAR_STR "%s%s",
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
820 arch_dir.c_str (), bin_dir.c_str (),
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
821 exec_path.c_str ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
822 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
823 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
824 else
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
825 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
826 if (append)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
827 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
828 putenv_cmd = new char [len + eplen + 6];
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
829 sprintf (putenv_cmd,
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
830 "PATH=%s%s" SEPCHAR_STR "%s",
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
831 exec_path.c_str (), arch_dir.c_str (),
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
832 bin_dir.c_str ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
833 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
834 else
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
835 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
836 putenv_cmd = new char [len + eplen + 6];
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
837 sprintf (putenv_cmd, "PATH=%s", exec_path.c_str ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
838 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
839 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
840 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
841 else
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
842 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
843 putenv_cmd = new char [len+6];
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
844 sprintf (putenv_cmd, "PATH=%s" SEPCHAR_STR "%s",
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
845 arch_dir.c_str (), bin_dir.c_str ());
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
846 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
847
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
848 putenv (putenv_cmd);
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
849 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
850
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
851 return status;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
852 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
853
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
854 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
855 sv_gnuplot_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
856 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
857 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
858
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
859 string s = builtin_string_variable ("gnuplot_binary");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
860
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
861 if (s.empty ())
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
862 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
863 gripe_invalid_value_specified ("gnuplot_binary");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
864 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
865 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
866 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
867 user_pref.gnuplot_binary = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
868
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
869 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
870 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
871
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
872 int
1646
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
873 sv_history_file (void)
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
874 {
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
875 int status = 0;
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
876
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
877 string s = builtin_string_variable ("history_file");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
878
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
879 if (s.empty ())
1646
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
880 {
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
881 gripe_invalid_value_specified ("history_file");
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
882 status = -1;
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
883 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
884 else
1799
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
885 {
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
886 user_pref.history_file = s;
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
887 octave_command_history.set_file (oct_tilde_expand (s));
1881b2a7d1e2 [project @ 1996-01-29 05:10:48 by jwe]
jwe
parents: 1755
diff changeset
888 }
1646
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
889
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
890 return status;
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
891 }
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
892
23ff3d50ab76 [project @ 1995-12-14 09:44:52 by jwe]
jwe
parents: 1642
diff changeset
893 int
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
894 sv_imagepath (void)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
895 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
896 int status = 0;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
897
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
898 string s = builtin_string_variable ("IMAGEPATH");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
899
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
900 if (s.empty ())
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
901 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
902 gripe_invalid_value_specified ("IMAGEPATH");
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
903 status = -1;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
904 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
905 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
906 user_pref.imagepath = s;
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
907
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
908 return status;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
909 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
910
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
911 int
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
912 sv_info_file (void)
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
913 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
914 int status = 0;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
915
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
916 string s = builtin_string_variable ("INFO_FILE");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
917
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
918 if (s.empty ())
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
919 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
920 gripe_invalid_value_specified ("INFO_FILE");
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
921 status = -1;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
922 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
923 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
924 user_pref.info_file = s;
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
925
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
926 return status;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
927 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
928
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
929 int
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
930 sv_info_prog (void)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
931 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
932 int status = 0;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
933
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
934 string s = builtin_string_variable ("INFO_PROGRAM");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
935
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
936 if (s.empty ())
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
937 {
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
938 gripe_invalid_value_specified ("INFO_PROGRAM");
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
939 status = -1;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
940 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
941 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
942 user_pref.info_prog = s;
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
943
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
944 return status;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
945 }
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
946
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1588
diff changeset
947 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
948 sv_loadpath (void)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
949 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
950 int status = 0;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
951
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
952 string s = builtin_string_variable ("LOADPATH");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
953
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
954 if (s.empty ())
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
955 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
956 gripe_invalid_value_specified ("LOADPATH");
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
957 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
958 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
959 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
960 user_pref.loadpath = maybe_add_default_load_path (s);
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
961
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
962 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
963 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
964
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
965 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
966 sv_pager_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
967 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
968 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
969
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
970 string s = builtin_string_variable ("PAGER");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
971
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
972 if (s.empty ())
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
973 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
974 gripe_invalid_value_specified ("PAGER");
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
975 status = -1;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
976 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
977 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
978 user_pref.pager_binary = s;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
979
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
980 return status;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
981 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
982
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
983 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
984 sv_ps1 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
985 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
986 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
987
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
988 string s = builtin_string_variable ("PS1");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
989
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
990 if (s.empty ())
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
991 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
992 gripe_invalid_value_specified ("PS1");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
993 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
994 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
995 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
996 user_pref.ps1 = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
997
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
998 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
999 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1000
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1001 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1002 sv_ps2 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1003 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1004 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1005
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1006 string s = builtin_string_variable ("PS2");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1007
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1008 if (s.empty ())
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1009 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
1010 gripe_invalid_value_specified ("PS2");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1011 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1012 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1013 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1014 user_pref.ps2 = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1015
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1016 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1017 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1018
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1019 int
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1020 sv_ps4 (void)
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1021 {
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1022 int status = 0;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1023
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1024 string s = builtin_string_variable ("PS4");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1025
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1026 if (s.empty ())
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1027 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
1028 gripe_invalid_value_specified ("PS4");
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1029 status = -1;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1030 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1031 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1032 user_pref.ps4 = s;
1044
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1033
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1034 return status;
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1035 }
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1036
1aa6f2edd975 [project @ 1995-01-18 16:35:01 by jwe]
jwe
parents: 1037
diff changeset
1037 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1038 sv_pwd (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1039 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1040 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1041
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1042 string s = builtin_string_variable ("PWD");
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1043
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1044 if (s.empty ())
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1045 {
1416
8b976f7c0aa8 [project @ 1995-09-15 10:17:34 by jwe]
jwe
parents: 1358
diff changeset
1046 gripe_invalid_value_specified ("PWD");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1047 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1048 }
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1049 else
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1646
diff changeset
1050 user_pref.pwd = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1051
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1052 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1053 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1054
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1055 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1056 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1057 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1058 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1059 */