annotate scripts/miscellaneous/dump_prefs.m @ 2314:949ab8eba8bc

[project @ 1996-07-12 03:58:02 by jwe]
author jwe
date Fri, 12 Jul 1996 03:58:02 +0000
parents 5ca126254d15
children e56a90687a1e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2313
5ca126254d15 [project @ 1996-07-11 21:25:22 by jwe]
jwe
parents: 2311
diff changeset
1 ## Copyright (C) 1996 John W. Eaton
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
2311
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
20 ## usage: dump_prefs (file)
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
21 ##
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
22 ## Have Octave dump all the current user preference variables to FILE
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
23 ## in a format that can be parsed by Octave later. If FILE is omitted,
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
24 ## the listing is printed to stdout.
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
25
2314
949ab8eba8bc [project @ 1996-07-12 03:58:02 by jwe]
jwe
parents: 2313
diff changeset
26 ## Author: jwe
949ab8eba8bc [project @ 1996-07-12 03:58:02 by jwe]
jwe
parents: 2313
diff changeset
27
2311
2b5788792cad [project @ 1996-07-11 20:18:38 by jwe]
jwe
parents: 2303
diff changeset
28 function dump_prefs (file)
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
29
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
30 if (nargin == 0)
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
31 file = stdout;
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
32 endif
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
33
2303
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
34 ## XXX FIXME XXX -- vectors of strings would be really useful here...
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
35 ## XXX FIXME XXX -- maybe this should be a built-in function so that we
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
36 ## wouldn't have to remember to update it each time the list of
5cffc4b8de57 [project @ 1996-06-24 09:15:24 by jwe]
jwe
parents: 1887
diff changeset
37 ## preference variables changes
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
38
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
39 dump_1_pref (file, "EDITOR");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
40 dump_1_pref (file, "IMAGEPATH");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
41 dump_1_pref (file, "INFO_FILE");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
42 dump_1_pref (file, "LOADPATH");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
43 dump_1_pref (file, "OCTAVE_VERSION");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
44 dump_1_pref (file, "PAGER");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
45 dump_1_pref (file, "PS1");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
46 dump_1_pref (file, "PS2");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
47 dump_1_pref (file, "automatic_replot");
1012
b6bcecd5ec84 [project @ 1995-01-04 18:53:00 by jwe]
jwe
parents: 799
diff changeset
48 dump_1_pref (file, "whitespace_in_literal_matrix");
799
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
49 dump_1_pref (file, "default_save_format");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
50 dump_1_pref (file, "do_fortran_indexing");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
51 dump_1_pref (file, "empty_list_elements_ok");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
52 dump_1_pref (file, "eps");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
53 dump_1_pref (file, "gnuplot_binary");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
54 dump_1_pref (file, "ignore_function_time_stamp");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
55 dump_1_pref (file, "implicit_str_to_num_ok");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
56 dump_1_pref (file, "ok_to_lose_imaginary_part");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
57 dump_1_pref (file, "output_max_field_width");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
58 dump_1_pref (file, "output_precision");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
59 dump_1_pref (file, "page_screen_output");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
60 dump_1_pref (file, "prefer_column_vectors");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
61 dump_1_pref (file, "prefer_zero_one_indexing");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
62 dump_1_pref (file, "print_answer_id_name");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
63 dump_1_pref (file, "print_empty_dimensions");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
64 dump_1_pref (file, "propagate_empty_matrices");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
65 dump_1_pref (file, "resize_on_range_error");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
66 dump_1_pref (file, "return_last_computed_value");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
67 dump_1_pref (file, "save_precision");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
68 dump_1_pref (file, "silent_functions");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
69 dump_1_pref (file, "split_long_rows");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
70 dump_1_pref (file, "treat_neg_dim_as_zero");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
71 dump_1_pref (file, "warn_assign_as_truth_value");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
72 dump_1_pref (file, "warn_comma_in_global_decl");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
73 dump_1_pref (file, "warn_divide_by_zero");
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
74
47846f7e18fc [project @ 1994-10-13 16:57:33 by jwe]
jwe
parents:
diff changeset
75 endfunction