annotate scripts/miscellaneous/dump_prefs.m @ 4422:92be67bc9301

[project @ 2003-06-04 17:43:15 by jwe]
author jwe
date Wed, 04 Jun 2003 17:43:15 +0000
parents 858695b3ed62
children ea1d3e1a4b1b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2847
8b262e771614 [project @ 1997-03-27 16:18:26 by jwe]
jwe
parents: 2824
diff changeset
1 ## Copyright (C) 1996, 1997 John W. Eaton
2313
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
2 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
3 ## This file is part of Octave.
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
4 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
5 ## Octave is free software; you can redistribute it and/or modify it
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
6 ## under the terms of the GNU General Public License as published by
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
7 ## the Free Software Foundation; either version 2, or (at your option)
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
8 ## any later version.
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
9 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
10 ## Octave is distributed in the hope that it will be useful, but
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
11 ## WITHOUT ANY WARRANTY; without even the implied warranty of
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
12 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
13 ## General Public License for more details.
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
14 ##
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
15 ## You should have received a copy of the GNU General Public License
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
16 ## along with Octave; see the file COPYING. If not, write to the Free
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
17 ## Software Foundation, 59 Temple Place - Suite 330, Boston, MA
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
18 ## 02111-1307, USA.
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
19
3449
858695b3ed62 [project @ 2000-01-18 04:08:59 by jwe]
jwe
parents: 3426
diff changeset
20 ## -*- texinfo -*-
858695b3ed62 [project @ 2000-01-18 04:08:59 by jwe]
jwe
parents: 3426
diff changeset
21 ## @deftypefn {Function File} {} dump_prefs (@var{file})
858695b3ed62 [project @ 2000-01-18 04:08:59 by jwe]
jwe
parents: 3426
diff changeset
22 ## Have Octave dump all the current user preference variables to
858695b3ed62 [project @ 2000-01-18 04:08:59 by jwe]
jwe
parents: 3426
diff changeset
23 ## @var{file} in a format that can be parsed by Octave later. If
858695b3ed62 [project @ 2000-01-18 04:08:59 by jwe]
jwe
parents: 3426
diff changeset
24 ## @var{file} is omitted, the listing is printed to stdout.
858695b3ed62 [project @ 2000-01-18 04:08:59 by jwe]
jwe
parents: 3426
diff changeset
25 ## @end deftypefn
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
26
2314
949ab8eba8bc [project @ 1996-07-12 03:58:02 by jwe]
jwe
parents: 2313
diff changeset
27 ## Author: jwe
949ab8eba8bc [project @ 1996-07-12 03:58:02 by jwe]
jwe
parents: 2313
diff changeset
28
2311
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
29 function dump_prefs (file)
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
30
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
31 if (nargin == 0)
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
32 file = stdout;
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
33 endif
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
34
3163
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
35 ## XXX FIXME XXX -- it would be nice to be able to get the list of
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
36 ## built-in variables directly from Octave so that we wouldn't have to
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
37 ## remember to update it each time the list of preference variables
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
38 ## changes
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
39
3163
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
40 var_list = ["EDITOR";
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
41 "EXEC_PATH";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
42 "IMAGEPATH";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
43 "INFO_FILE";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
44 "INFO_PROGRAM";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
45 "LOADPATH";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
46 "PAGER";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
47 "PS1";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
48 "PS2";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
49 "PS4";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
50 "automatic_replot";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
51 "beep_on_error";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
52 "completion_append_char";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
53 "default_eval_print_flag";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
54 "default_global_variable_value";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
55 "default_return_value";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
56 "default_save_format";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
57 "define_all_return_values";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
58 "do_fortran_indexing";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
59 "echo_executing_commands";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
60 "empty_list_elements_ok";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
61 "fixed_point_format";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
62 "gnuplot_binary";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
63 "gnuplot_command_end";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
64 "gnuplot_command_plot";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
65 "gnuplot_command_replot";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
66 "gnuplot_command_splot";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
67 "gnuplot_command_title";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
68 "gnuplot_command_using";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
69 "gnuplot_command_with";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
70 "gnuplot_has_frames";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
71 "history_file";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
72 "history_size";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
73 "ignore_function_time_stamp";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
74 "implicit_num_to_str_ok";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
75 "implicit_str_to_num_ok";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
76 "initialize_global_variables";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
77 "max_recursion_depth";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
78 "ok_to_lose_imaginary_part";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
79 "output_max_field_width";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
80 "output_precision";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
81 "page_output_immediately";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
82 "page_screen_output";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
83 "prefer_column_vectors";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
84 "print_answer_id_name";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
85 "print_empty_dimensions";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
86 "print_rhs_assign_val";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
87 "propagate_empty_matrices";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
88 "resize_on_range_error";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
89 "return_last_computed_value";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
90 "save_precision";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
91 "saving_history";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
92 "silent_functions";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
93 "split_long_rows";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
94 "string_fill_char";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
95 "struct_levels_to_print";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
96 "suppress_verbose_help_message";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
97 "treat_neg_dim_as_zero";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
98 "warn_assign_as_truth_value";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
99 "warn_divide_by_zero";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
100 "warn_function_name_clash";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
101 "warn_future_time_stamp";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
102 "warn_missing_semicolon";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
103 "warn_variable_switch_label";
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3163
diff changeset
104 "whitespace_in_literal_matrix"];
3163
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
105
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
106 for i = 1:rows(var_list)
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
107 var = deblank (var_list(i,:));
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
108 try
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
109 fprintf (file, " %s = %s\n", var, type ("-q", var));
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
110 catch
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
111 fprintf (file, "# %s = <no value or error in displaying it>\n", var);
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
112 end_try_catch
7f7228c0e658 [project @ 1998-04-10 16:51:47 by jwe]
jwe
parents: 2853
diff changeset
113 endfor
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
114
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
115 endfunction