2019-01-31 09:41:03 +01:00
|
|
|
#+TITLE: Termite Configuration
|
|
|
|
|
#+PROPERTY: header-args+ :comments both
|
|
|
|
|
#+PROPERTY: header-args+ :mkdirp yes
|
|
|
|
|
#+PROPERTY: header-args+ :tangle ~/.config/termite/config
|
|
|
|
|
|
2019-04-04 10:27:43 +02:00
|
|
|
* Options
|
2019-01-31 09:41:03 +01:00
|
|
|
#+BEGIN_SRC conf
|
2019-04-04 10:27:43 +02:00
|
|
|
[options]
|
|
|
|
|
#allow_bold = true
|
|
|
|
|
#audible_bell = false
|
|
|
|
|
#bold_is_bright = true
|
|
|
|
|
clickable_url = true
|
|
|
|
|
#dynamic_title = true
|
|
|
|
|
font = SauceCodePro Nerd Font Mono 10
|
|
|
|
|
#fullscreen = true
|
|
|
|
|
#icon_name = terminal
|
|
|
|
|
mouse_autohide = true
|
|
|
|
|
#scroll_on_output = false
|
|
|
|
|
#scroll_on_keystroke = true
|
|
|
|
|
# Length of the scrollback buffer, 0 disabled the scrollback buffer
|
|
|
|
|
# and setting it to a negative value means "infinite scrollback"
|
|
|
|
|
scrollback_lines = 10000
|
|
|
|
|
#search_wrap = true
|
|
|
|
|
#urgent_on_bell = true
|
|
|
|
|
#hyperlinks = false
|
|
|
|
|
|
|
|
|
|
# $BROWSER is used by default if set, with xdg-open as a fallback
|
|
|
|
|
#browser = xdg-open
|
|
|
|
|
|
|
|
|
|
# Hide links that are no longer valid in url select overlay mode
|
|
|
|
|
#filter_unmatched_urls = true
|
|
|
|
|
|
|
|
|
|
# Emit escape sequences for extra modified keys
|
|
|
|
|
#modify_other_keys = false
|
|
|
|
|
|
|
|
|
|
# set size hints for the window
|
|
|
|
|
#size_hints = false
|
|
|
|
|
|
|
|
|
|
# "off", "left" or "right"
|
|
|
|
|
#scrollbar = off
|
|
|
|
|
|
|
|
|
|
highlight = #2f2f2f
|
|
|
|
|
#+END_SRC
|
|
|
|
|
|
|
|
|
|
* Hints
|
|
|
|
|
#+BEGIN_SRC conf
|
|
|
|
|
[hints]
|
|
|
|
|
#padding = 2
|
|
|
|
|
#border = #3f3f3f
|
|
|
|
|
#border_width = 0.5
|
|
|
|
|
#roundness = 2.0
|
|
|
|
|
#+END_SRC
|
|
|
|
|
|
|
|
|
|
* Colors
|
|
|
|
|
#+BEGIN_SRC conf
|
|
|
|
|
[colors]
|
|
|
|
|
foreground = #586e75
|
|
|
|
|
foreground_bold = #073642
|
|
|
|
|
cursor = #073642
|
|
|
|
|
cursor_foreground = #fdf6e3
|
|
|
|
|
background = rgb(253, 246, 227)
|
|
|
|
|
|
|
|
|
|
# 16 color space
|
|
|
|
|
|
|
|
|
|
# Black, Gray, Silver, White
|
|
|
|
|
color0 = #fdf6e3
|
|
|
|
|
color8 = #839496
|
|
|
|
|
color7 = #586e75
|
|
|
|
|
color15 = #002b36
|
|
|
|
|
|
|
|
|
|
# Red
|
|
|
|
|
color1 = #dc322f
|
|
|
|
|
color9 = #dc322f
|
|
|
|
|
|
|
|
|
|
# Green
|
|
|
|
|
color2 = #859900
|
|
|
|
|
color10 = #859900
|
|
|
|
|
|
|
|
|
|
# Yellow
|
|
|
|
|
color3 = #b58900
|
|
|
|
|
color11 = #b58900
|
|
|
|
|
|
|
|
|
|
# Blue
|
|
|
|
|
color4 = #268bd2
|
|
|
|
|
color12 = #268bd2
|
|
|
|
|
|
|
|
|
|
# Purple
|
|
|
|
|
color5 = #6c71c4
|
|
|
|
|
color13 = #6c71c4
|
|
|
|
|
|
|
|
|
|
# Teal
|
|
|
|
|
color6 = #2aa198
|
|
|
|
|
color14 = #2aa198
|
|
|
|
|
|
|
|
|
|
# Extra colors
|
|
|
|
|
color16 = #cb4b16
|
|
|
|
|
color17 = #d33682
|
|
|
|
|
color18 = #eee8d5
|
|
|
|
|
color19 = #93a1a1
|
|
|
|
|
color20 = #657b83
|
|
|
|
|
color21 = #073642
|
2019-01-31 09:41:03 +01:00
|
|
|
#+END_SRC
|
