1SOURCE-HIGHLIGHT-SETTINGS(1) User Commands SOURCE-HIGHLIGHT-SETTINGS(1)
2
3
4
6 Source-highlight-settings - utility that can be used to write a config‐
7 uration file for GNU Source-highlight (and its library)
8
10 source-highlight-settings
11
13 Since version 3.0, GNU Source-highlight includes also the utility
14 source-highlight-settings, which can be used to check whether
15 source-highlight will be able to find its language definition files,
16 and other configuration files, and in case, to store the correct set‐
17 tings in a configuration file, in the user home directory.
18
19 In particular, the stored configuration file will be called
20 source-highlight.conf and will be stored in $HOME/.source-highlight/.
21
22 For the moment, this file only stores the default value for the
23 --data-dir option.
24
25 This utility is part of GNU Source-highlight, maintained by:
26 Lorenzo Bettini <http://www.lorenzobettini.it>
27
29 Report bugs to <bug-source-highlight at gnu.org>
30
32 Copyright © 1999-2009 Lorenzo Bettini <http://www.lorenzobettini.it>
33 This program comes with ABSOLUTELY NO WARRANTY.
34 This is free software; you may redistribute copies of the program under
35 the terms of the GNU General Public License. For more information
36 about these matters, see the file named COPYING.
37
39 The full documentation for source-highlight is maintained as a Texinfo
40 manual. If the info and source-highlight programs are properly
41 installed at your site, the command
42
43 info source-highlight
44
45 should give you access to the complete manual.
46
47
48
49Source-highlight-settings May 2009 SOURCE-HIGHLIGHT-SETTINGS(1)