2017-10-16 14:38:02 -05:00
|
|
|
[options]
|
2018-02-09 22:35:27 -06:00
|
|
|
scroll_on_output = false
|
2017-10-16 14:38:02 -05:00
|
|
|
scroll_on_keystroke = true
|
2018-02-09 22:35:27 -06:00
|
|
|
audible_bell = false
|
|
|
|
mouse_autohide = false
|
|
|
|
allow_bold = true
|
|
|
|
dynamic_title = true
|
|
|
|
urgent_on_bell = true
|
|
|
|
clickable_url = true
|
2018-02-21 03:42:36 -06:00
|
|
|
font = DejaVu Sans Mono 10
|
2018-02-09 22:35:27 -06:00
|
|
|
scrollback_lines = 10000
|
|
|
|
search_wrap = true
|
|
|
|
icon_name = utilities-terminal
|
|
|
|
geometry = 750x500
|
|
|
|
clickable_url = true
|
|
|
|
cursor_blink = system
|
|
|
|
cursor_shape = block
|
|
|
|
browser = exo-open
|
2017-10-16 14:38:02 -05:00
|
|
|
filter_unmatched_urls = true
|
|
|
|
|
|
|
|
[colors]
|
2018-06-09 18:51:08 -05:00
|
|
|
background = rgba(43,48,59,0.95)
|
2018-02-09 22:35:27 -06:00
|
|
|
foreground = #c0c5ce
|
2017-10-16 14:38:02 -05:00
|
|
|
foreground_bold = #c0c5ce
|
2018-02-09 22:35:27 -06:00
|
|
|
cursor = #c0c5ce
|
2017-10-23 18:35:35 -05:00
|
|
|
|
|
|
|
# Black, Gray, Silver, White
|
2018-02-09 22:35:27 -06:00
|
|
|
color0 = #2b303b
|
|
|
|
color8 = #65737e
|
|
|
|
color7 = #F6F6F6
|
2017-10-23 18:35:35 -05:00
|
|
|
color15 = #c0c5ce
|
|
|
|
|
|
|
|
# Red
|
2018-02-09 22:35:27 -06:00
|
|
|
color1 = #bf616a
|
|
|
|
color9 = #bf616a
|
2017-10-23 18:35:35 -05:00
|
|
|
|
|
|
|
# Green
|
2018-02-09 22:35:27 -06:00
|
|
|
color2 = #a3be8c
|
2017-10-16 14:38:02 -05:00
|
|
|
color10 = #a3be8c
|
2017-10-23 18:35:35 -05:00
|
|
|
|
|
|
|
# Yellow
|
2018-02-09 22:35:27 -06:00
|
|
|
color3 = #ebcb8b
|
2017-10-16 14:38:02 -05:00
|
|
|
color11 = #ebcb8b
|
2017-10-23 18:35:35 -05:00
|
|
|
|
|
|
|
# Blue
|
2018-02-09 22:35:27 -06:00
|
|
|
color4 = #8fa1b3
|
2017-10-16 14:38:02 -05:00
|
|
|
color12 = #8fa1b3
|
2017-10-23 18:35:35 -05:00
|
|
|
|
|
|
|
# Purple
|
2018-02-09 22:35:27 -06:00
|
|
|
color5 = #b48ead
|
2017-10-16 14:38:02 -05:00
|
|
|
color13 = #b48ead
|
2017-10-23 18:35:35 -05:00
|
|
|
|
|
|
|
# Teal
|
2018-02-09 22:35:27 -06:00
|
|
|
color6 = #96b5b4
|
2017-10-16 14:38:02 -05:00
|
|
|
color14 = #96b5b4
|