2017-01-27 13:57:17 +01:00
|
|
|
[options]
|
|
|
|
font = DejaVu Sans Mono
|
|
|
|
clickable_url = on
|
2017-12-16 00:46:51 +01:00
|
|
|
browser = firefox
|
2017-01-27 13:57:17 +01:00
|
|
|
cursor_blink = on
|
|
|
|
cursor_shape = underline
|
|
|
|
scrollback_lines = 10000
|
|
|
|
|
|
|
|
[colors]
|
|
|
|
background = rgba(0, 0, 0, 0.8)
|
|
|
|
cursor = #d0d0d0
|
|
|
|
|
|
|
|
# black
|
|
|
|
color0 = #151515
|
|
|
|
color8 = #505050
|
|
|
|
|
|
|
|
# red
|
|
|
|
color1 = #ac4142
|
|
|
|
color9 = #ac4142
|
|
|
|
|
|
|
|
# green
|
|
|
|
color2 = #90a959
|
|
|
|
color10 = #90a959
|
|
|
|
|
|
|
|
# yellow
|
|
|
|
color3 = #f4bf75
|
|
|
|
color11 = #f4bf75
|
|
|
|
|
|
|
|
# blue
|
|
|
|
color4 = #6a9fb5
|
|
|
|
color12 = #6a9fb5
|
|
|
|
|
|
|
|
# magenta
|
|
|
|
color5 = #aa759f
|
|
|
|
color13 = #aa759f
|
|
|
|
|
|
|
|
# cyan
|
|
|
|
color6 = #729FCF
|
|
|
|
color14 = #729FCF
|
|
|
|
|
|
|
|
# white
|
|
|
|
color7 = #d0d0d0
|
2017-12-16 00:46:51 +01:00
|
|
|
color15 = #f5f5f5
|