annotate src/user-prefs.cc @ 1009:dfe01093f657

[project @ 1995-01-04 04:05:12 by jwe]
author jwe
date Wed, 04 Jan 1995 04:05:12 +0000
parents 0c95f3b2d3ec
children d383ec996ee1
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 // user-prefs.cc -*- C++ -*-
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
3
1009
dfe01093f657 [project @ 1995-01-04 04:05:12 by jwe]
jwe
parents: 987
diff changeset
4 Copyright (C) 1992, 1993, 1994, 1995 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
8 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
9 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
10 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
11 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
13 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
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
15 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
16 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
18 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
19 along with Octave; see the file COPYING. If not, write to the Free
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
20 Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
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 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
23
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 195
diff changeset
24 #ifdef HAVE_CONFIG_H
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 195
diff changeset
25 #include "config.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
26 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
27
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
28 #include <string.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
29
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
30 #include "user-prefs.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
31 #include "error.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
32 #include "variables.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
33 #include "utils.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
34
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
35 // The list of user preferences. Values change when global variables
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
36 // change, so we don\'t have to do a variable look up every time we
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
37 // need to check a preference.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
38 user_preferences user_pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
39
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
40 // Initialize global user_pref structure.
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
41
831
23de7aa68e3a [project @ 1994-10-17 22:03:20 by jwe]
jwe
parents: 720
diff changeset
42 void
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
43 init_user_prefs (void)
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
44 {
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
45 user_pref.automatic_replot = 0;
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
46 user_pref.whitespace_in_literal_matrix = 0;
720
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
47 user_pref.do_fortran_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
48 user_pref.empty_list_elements_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
49 user_pref.ignore_function_time_stamp = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
50 user_pref.implicit_str_to_num_ok = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
51 user_pref.ok_to_lose_imaginary_part = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
52 user_pref.output_max_field_width = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
53 user_pref.output_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
54 user_pref.page_screen_output = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
55 user_pref.prefer_column_vectors = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
56 user_pref.prefer_zero_one_indexing = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
57 user_pref.print_answer_id_name = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
58 user_pref.print_empty_dimensions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
59 user_pref.propagate_empty_matrices = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
60 user_pref.resize_on_range_error = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
61 user_pref.return_last_computed_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
62 user_pref.save_precision = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
63 user_pref.silent_functions = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
64 user_pref.split_long_rows = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
65 user_pref.treat_neg_dim_as_zero = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
66 user_pref.warn_assign_as_truth_value = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
67 user_pref.warn_comma_in_global_decl = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
68 user_pref.warn_divide_by_zero = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
69
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
70 user_pref.default_save_format = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
71 user_pref.editor = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
72 user_pref.gnuplot_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
73 user_pref.imagepath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
74 user_pref.info_file = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
75 user_pref.loadpath = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
76 user_pref.pager_binary = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
77 user_pref.ps1 = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
78 user_pref.ps2 = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
79 user_pref.pwd = 0;
43fc5a13be23 [project @ 1994-09-21 15:10:31 by jwe]
jwe
parents: 686
diff changeset
80 }
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
81
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
82 // 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
83 // something.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
84 //
673
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
85 // return of 1 => always ok.
8af8709c349e [project @ 1994-09-07 22:58:35 by jwe]
jwe
parents: 661
diff changeset
86 // return of 0 => never ok.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
87 // return of -1 => ok, but give me warning (default).
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
88
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
89 static int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
90 check_str_pref (char *var)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
91 {
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
92 char *val = builtin_string_variable (var);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
93 int pref = -1;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
94 if (val)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
95 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
96 if (strncmp (val, "yes", 3) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
97 || strncmp (val, "true", 4) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
98 pref = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
99 else if (strncmp (val, "never", 5) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
100 || strncmp (val, "no", 2) == 0
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
101 || strncmp (val, "false", 5) == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
102 pref = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
103 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
104 return pref;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
105 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
106
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
107 // 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
108 // changes in some way?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
109
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
110 int
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
111 automatic_replot (void)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
112 {
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
113 user_pref.automatic_replot = check_str_pref ("automatic_replot");
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
114
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
115 return 0;
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
116 }
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
117
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
118
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
119 // Should whitespace in a literal matrix list be automatically
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
120 // converted to commas and semicolons?
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
121 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
122 // user specifies value of pref
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
123 // -------------- -------------
987
0c95f3b2d3ec [project @ 1994-12-15 01:18:38 by jwe]
jwe
parents: 984
diff changeset
124 // "ignore" 2
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
125 // "traditional" 1
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
126 // anything else 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
127 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
128 // Octave will never insert a comma in a literal matrix list if the
987
0c95f3b2d3ec [project @ 1994-12-15 01:18:38 by jwe]
jwe
parents: 984
diff changeset
129 // user specifies "ignore". For example, the statement [1 2] will
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
130 // result in an error instead of being treated the same as [1, 2], and
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
131 // the statement
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
132 //
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
133 // [ 1, 2,
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
134 // 3, 4 ]
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
135 //
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
136 // will result in the vector [1 2 3 4] instead of a matrix.
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
137 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
138 // Traditional behavior makes Octave convert spaces to a comma between
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
139 // identifiers and `('. For example, the statement
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
140 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
141 // [eye (2)]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
142 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
143 // will be parsed as
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
144 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
145 // [eye, (2)]
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 // and will result in an error since the `eye' function will be
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
148 // called with no arguments. To get around this, you would have to
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
149 // omit the space between `eye' and the `('.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
150 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
151 // The default value is 0, which results in behavior that is the same
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
152 // as traditional, except that Octave does not convert spaces to a
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
153 // comma between identifiers and `('. For example, the statement
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 // [eye (2)]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
156 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
157 // will result in a call to `eye' with the argument `2'.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
158
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
159 int
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
160 whitespace_in_literal_matrix (void)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
161 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
162 int pref = 0;
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
163 char *val = builtin_string_variable ("whitespace_in_literal_matrix");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
164 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
165 {
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
166 if (strncmp (val, "ignore", 6) == 0)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
167 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
168 else if (strncmp (val, "traditional", 11) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
169 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
170 }
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 831
diff changeset
171 user_pref.whitespace_in_literal_matrix = pref;
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
172 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
173 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
174
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
175
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
176 // Should we allow assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
177 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
178 // octave> A(1) = 3; A(2) = 5
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 // for A already defined and a matrix type?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
181
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
182 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
183 do_fortran_indexing (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
184 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
185 user_pref.do_fortran_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
186 check_str_pref ("do_fortran_indexing");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
187
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
188 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
189 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
190
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
191
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
192 // 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
193 // expression like `[[], 1]' ok?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
194
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
195 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
196 empty_list_elements_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
197 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
198 user_pref.empty_list_elements_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
199 check_str_pref ("empty_list_elements_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
200
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
201 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
202 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
203
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
204
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
205 // 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
206 // since they were last compiled?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
207
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
208 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
209 ignore_function_time_stamp (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
210 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
211 int pref = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
212
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
213 char *val = builtin_string_variable ("ignore_function_time_stamp");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
214
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
215 if (val)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
216 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
217 if (strncmp (val, "all", 3) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
218 pref = 2;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
219 if (strncmp (val, "system", 6) == 0)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
220 pref = 1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
221 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
222
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
223 user_pref.ignore_function_time_stamp = pref;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
224
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
225 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
226 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
227
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
228
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
229 // Should we allow things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
230 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
231 // octave> 'abc' + 0
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
232 // 97 98 99
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
233 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
234 // to happen?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
235
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
236 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
237 implicit_str_to_num_ok (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
238 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239 user_pref.implicit_str_to_num_ok =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
240 check_str_pref ("implicit_str_to_num_ok");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
241
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
242 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
243 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
244
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
245
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
246 // Should we allow silent conversion of complex to real when a real
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
247 // type is what we\'re really looking for?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
248
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
249 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
250 ok_to_lose_imaginary_part (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
251 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
252 user_pref.ok_to_lose_imaginary_part =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
253 check_str_pref ("ok_to_lose_imaginary_part");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
254
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
256 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
257
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
258
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
259 // 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
260 // pager.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
261
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
262 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
263 page_screen_output (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
264 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
265 user_pref.page_screen_output = check_str_pref ("page_screen_output");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
266
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
267 return 0;
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
270
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
271 // When doing assignments like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
272 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
273 // octave> A(1) = 3; A(2) = 5
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
274 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
275 // (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
276 // 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
277
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
279 prefer_column_vectors (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
280 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
281 user_pref.prefer_column_vectors =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
282 check_str_pref ("prefer_column_vectors");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
285 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
286
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
287
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
288 // For things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
289 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
290 // a = [2,3]; a([1,1])
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 // return [2 3] instead of [2 2].
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 prefer_zero_one_indexing (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.prefer_zero_one_indexing =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
298 check_str_pref ("prefer_zero_one_indexing");
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 print things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
305 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
306 // octave> a = [1,2;3,4]
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
307 // a =
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
308 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
309 // 1 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
310 // 3 4
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
311
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
312 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313 print_answer_id_name (void)
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 user_pref.print_answer_id_name =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
316 check_str_pref ("print_answer_id_name");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
317
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
318 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
319 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
321
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
322 // Should we also print the dimensions of empty matrices?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
323
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
324 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
325 print_empty_dimensions (void)
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 user_pref.print_empty_dimensions =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
328 check_str_pref ("print_empty_dimensions");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
329
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
330 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
331 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
332
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
333
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
334 // 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
335 // error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
336
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
337 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
338 propagate_empty_matrices (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
339 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
340 user_pref.propagate_empty_matrices =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
341 check_str_pref ("propagate_empty_matrices");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
342
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
343 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
344 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
346
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
347 // 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
348 // are outside the current bounds?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
349
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
350 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 resize_on_range_error (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
352 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
353 user_pref.resize_on_range_error =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
354 check_str_pref ("resize_on_range_error");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
355
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
356 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
359
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
360 // 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
361 // last computed value.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
362
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
363 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
364 return_last_computed_value (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
365 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
366 user_pref.return_last_computed_value =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
367 check_str_pref ("return_last_computed_value");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
368
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
369 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
370 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
371
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
372
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
373 // Suppress printing results in called functions.
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
374
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
375 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 silent_functions (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
377 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
378 user_pref.silent_functions =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379 check_str_pref ("silent_functions");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
381 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
382 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
383
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
384
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
385 // 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
386
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
387 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
388 split_long_rows (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
389 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
390 user_pref.split_long_rows = check_str_pref ("split_long_rows");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
391
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
392 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
393 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
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 things like:
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
397 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
398 // octave> ones (-1, 5)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
399 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
400 // result in an empty matrix or an error?
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
401
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
402 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
403 treat_neg_dim_as_zero (void)
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 user_pref.treat_neg_dim_as_zero =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
406 check_str_pref ("treat_neg_dim_as_zero");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
407
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
408 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
409 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
410
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
411
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
412 // Generate a warning for the assignment in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
413 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
414 // octave> if (a = 2 < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
415 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
416 // but not
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 // octave> if ((a = 2) < n)
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
419
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
420 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
421 warn_assign_as_truth_value (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
422 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
423 user_pref.warn_assign_as_truth_value =
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
424 check_str_pref ("warn_assign_as_truth_value");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
425
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
426 return 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
427 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
428
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
429
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
430 // Generate a warning for the comma in things like
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
431 //
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
432 // octave> global a, b = 2
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
433
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
434 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
435 warn_comma_in_global_decl (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
436 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
437 user_pref.warn_comma_in_global_decl =
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
438 check_str_pref ("warn_comma_in_global_decl");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
440 return 0;
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
661
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
443
9ccf86647203 [project @ 1994-08-30 04:41:56 by jwe]
jwe
parents: 605
diff changeset
444 // 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
445
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
446 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
447 warn_divide_by_zero (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
449 user_pref.warn_divide_by_zero = check_str_pref ("warn_divide_by_zero");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
450
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
451 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
452 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
453
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
454 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
455 set_output_max_field_width (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
456 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
457 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
458
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
459 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
460
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
461 double val;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
462 if (builtin_real_scalar_variable ("output_max_field_width", val) == 0)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
463 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
464 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
465 if (ival > 0 && (double) ival == val)
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 user_pref.output_max_field_width= ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
468 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
469 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
470 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
471
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
472 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
473 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
474 else
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 warning ("invalid value specified for output_max_field_width");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
477 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
478 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
479
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
480 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
481 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
482
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
483 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
484 set_output_precision (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
485 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
486 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
487
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
488 static int kludge = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
489
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
490 double val;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
491 if (builtin_real_scalar_variable ("output_precision", val) == 0)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
492 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
493 int ival = NINT (val);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
494 if (ival >= 0 && (double) ival == val)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
495 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
496 user_pref.output_precision = ival;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
497 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
498 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
499 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
500
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
501 if (kludge == 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
502 kludge++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
503 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
504 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
505 warning ("invalid value specified for output_precision");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
506 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
507 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
508
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
509 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
510 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
511
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
512 int
275
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
513 set_save_precision (void)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
514 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
515 int status = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
516
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
517 static int kludge = 0;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
518
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
519 double val;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
520 if (builtin_real_scalar_variable ("save_precision", val) == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
521 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
522 int ival = NINT (val);
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
523 if (ival >= 0 && (double) ival == val)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
524 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
525 user_pref.save_precision = ival;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
526 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
527 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
528 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
529
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
530 if (kludge == 0)
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
531 kludge++;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
532 else
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
533 {
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
534 warning ("invalid value specified for save_precision");
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
535 status = -1;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
536 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
537
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
538 return status;
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
539 }
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
540
a419f80fc9a8 [project @ 1994-01-07 01:26:09 by jwe]
jwe
parents: 240
diff changeset
541 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
542 sv_editor (void)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
543 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
544 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
545
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
546 char *s = builtin_string_variable ("EDITOR");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
547 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
548 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
549 delete [] user_pref.editor;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
550 user_pref.editor = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
551 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
552 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
553 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
554 warning ("invalid value specified for EDITOR");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
555 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
556 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
557
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
558 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
559 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
560
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
561 int
605
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
562 sv_default_save_format (void)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
563 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
564 int status = 0;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
565
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
566 char *s = builtin_string_variable ("default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
567 if (s)
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
568 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
569 delete [] user_pref.default_save_format;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
570 user_pref.default_save_format = s;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
571 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
572 else
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
573 {
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
574 warning ("invalid value specified for default_save_format");
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
575 status = -1;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
576 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
577
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
578 return status;
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
579 }
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
580
4f65175911a6 [project @ 1994-08-13 20:10:39 by jwe]
jwe
parents: 529
diff changeset
581 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
582 sv_gnuplot_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
583 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
584 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
585
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
586 char *s = builtin_string_variable ("gnuplot_binary");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
587 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
588 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
589 delete [] user_pref.gnuplot_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
590 user_pref.gnuplot_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
591 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
592 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
593 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
594 warning ("invalid value specified for gnuplot_binary");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
595 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
596 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
597
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
598 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
599 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
600
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
601 int
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
602 sv_imagepath (void)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
603 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
604 int status = 0;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
605
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
606 char *s = builtin_string_variable ("IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
607 if (s)
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
608 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
609 delete [] user_pref.imagepath;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
610 user_pref.imagepath = s;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
611 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
612 else
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
613 {
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
614 warning ("invalid value specified for IMAGEPATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
615 status = -1;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
616 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
617
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
618 return status;
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
619 }
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
620
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 673
diff changeset
621 int
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
622 sv_info_file (void)
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
623 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
624 int status = 0;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
625
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
626 char *s = builtin_string_variable ("INFO_FILE");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
627 if (s)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
628 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
629 delete [] user_pref.info_file;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
630 user_pref.info_file = s;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
631 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
632 else
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
633 {
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
634 warning ("invalid value specified for INFO_FILE");
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
635 status = -1;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
636 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
637
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
638 return status;
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
639 }
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
640
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 1
diff changeset
641 int
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
642 sv_loadpath (void)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
643 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
644 int status = 0;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
645
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
646 char *s = builtin_string_variable ("LOADPATH");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
647 if (s)
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
648 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
649 delete [] user_pref.loadpath;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
650 user_pref.loadpath = s;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
651 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
652 else
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
653 {
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
654 warning ("invalid value specified for LOADPATH");
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
655 status = -1;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
656 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
657
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
658 return status;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
659 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
660
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
661 int
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
662 sv_pager_binary (void)
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
663 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
664 int status = 0;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
665
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
666 char *s = builtin_string_variable ("PAGER");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
667 if (s)
430
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
668 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
669 delete [] user_pref.pager_binary;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
670 user_pref.pager_binary = s;
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
671 }
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
672 else
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
673 {
8464d5778a09 [project @ 1994-05-25 08:33:54 by jwe]
jwe
parents: 338
diff changeset
674 warning ("invalid value specified for PAGER");
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
675 status = -1;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
676 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
677
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
678 return status;
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
679 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
680
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
681 int
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
682 sv_ps1 (void)
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 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
685
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
686 char *s = builtin_string_variable ("PS1");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
687 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
688 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
689 delete [] user_pref.ps1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
690 user_pref.ps1 = s;
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 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
693 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
694 warning ("invalid value specified for PS1");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
695 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
696 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
697
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
698 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
699 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
700
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
701 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
702 sv_ps2 (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
703 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
704 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
705
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
706 char *s = builtin_string_variable ("PS2");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
707 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
708 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
709 delete [] user_pref.ps2;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
710 user_pref.ps2 = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
711 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
712 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
713 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
714 warning ("invalid value specified for PS2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
715 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
716 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
717
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
718 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
719 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
720
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
721 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
722 sv_pwd (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
723 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
724 int status = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
725
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 186
diff changeset
726 char *s = builtin_string_variable ("PWD");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 441
diff changeset
727 if (s)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
728 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
729 delete [] user_pref.pwd;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
730 user_pref.pwd = s;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
731 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
732 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
733 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
734 warning ("invalid value specified for PWD");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
735 status = -1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
736 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
737
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
738 return status;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
739 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
740
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
741 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
742 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
743 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
744 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
745 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
746 */