chiark / gitweb /
Add configuration for w3m and elinks browsers.
[profile] / dot / elinks.conf
CommitLineData
3ec64a11
MW
1## ELinks 0.12pre5 configuration file
2
3## This is ELinks configuration file. You can edit it manually,
4## if you wish so; this file is edited by ELinks when you save
5## options through UI, however only option values will be altered
6## and missing options will be added at the end of file; if option
7## is not written in this file, but in some file included from it,
8## it is NOT counted as missing. Note that all your formatting,
9## own comments and so on will be kept as-is.
10##
11## Obviously, if you don't like what ELinks is going to do with
12## this file, you can change it by altering the config.saving_style
13## option. Come on, aren't we friendly guys after all?
14
15
16
17##############################
18# Automatically saved options
19#
20
21## config
22# Configuration handling options.
23
24 ## config.saving_style_w [0|1]
25 # This is internal option used when displaying a warning about obsolete
26 # config.saving_style. You shouldn't touch it.
27 set config.saving_style_w = 1
28
29
30## terminal
31# Terminal options.
32
33 ## terminal.xterm
34 # Options specific to this terminal type (according to $TERM value).
35
36 ## terminal.xterm.colors <num>
37 set terminal.xterm.colors = 3
38 ## terminal.xterm.utf_8_io [0|1]
39 set terminal.xterm.utf_8_io = 1
40
41
42## ui
43# User interface options.
44
45 ## ui.language <language>
46 # Language of user interface. 'System' means that the language will be
47 # extracted from the environment dynamically.
48 set ui.language = "System"
49
50
51
52
53
54##############################
55# Automatically saved options
56#
57
58## terminal
59# Terminal options.
60
61 ## terminal.screen
62 # Options specific to this terminal type (according to $TERM value).
63
64 ## terminal.screen.colors <num>
65 set terminal.screen.colors = 1
66 ## terminal.screen.block_cursor [0|1]
67 set terminal.screen.block_cursor = 1
68 ## terminal.screen.utf_8_io [0|1]
69 set terminal.screen.utf_8_io = 1
70 ## terminal.screen.type <num>
71 set terminal.screen.type = 1
72
73