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]
|
2019-04-05 09:28:01 +02:00
|
|
|
# Base16 Gruvbox dark, soft
|
|
|
|
|
# Author: Dawid Kurek (dawikur@gmail.com), morhetz (https://github.com/morhetz/gruvbox)
|
|
|
|
|
|
|
|
|
|
foreground = #d5c4a1
|
|
|
|
|
foreground_bold = #ebdbb2
|
|
|
|
|
cursor = #ebdbb2
|
|
|
|
|
cursor_foreground = #32302f
|
|
|
|
|
background = rgba(50, 48, 47)
|
|
|
|
|
|
|
|
|
|
# 16 color space
|
|
|
|
|
|
|
|
|
|
# Black, Gray, Silver, White
|
|
|
|
|
color0 = #32302f
|
|
|
|
|
color8 = #665c54
|
|
|
|
|
color7 = #d5c4a1
|
|
|
|
|
color15 = #fbf1c7
|
|
|
|
|
|
|
|
|
|
# Red
|
|
|
|
|
color1 = #fb4934
|
|
|
|
|
color9 = #fb4934
|
|
|
|
|
|
|
|
|
|
# Green
|
|
|
|
|
color2 = #b8bb26
|
|
|
|
|
color10 = #b8bb26
|
|
|
|
|
|
|
|
|
|
# Yellow
|
|
|
|
|
color3 = #fabd2f
|
|
|
|
|
color11 = #fabd2f
|
|
|
|
|
|
|
|
|
|
# Blue
|
|
|
|
|
color4 = #83a598
|
|
|
|
|
color12 = #83a598
|
|
|
|
|
|
|
|
|
|
# Purple
|
|
|
|
|
color5 = #d3869b
|
|
|
|
|
color13 = #d3869b
|
|
|
|
|
|
|
|
|
|
# Teal
|
|
|
|
|
color6 = #8ec07c
|
|
|
|
|
color14 = #8ec07c
|
|
|
|
|
|
|
|
|
|
# Extra colors
|
|
|
|
|
color16 = #fe8019
|
|
|
|
|
color17 = #d65d0e
|
|
|
|
|
color18 = #3c3836
|
|
|
|
|
color19 = #504945
|
|
|
|
|
color20 = #bdae93
|
|
|
|
|
color21 = #ebdbb2
|
2019-01-31 09:41:03 +01:00
|
|
|
#+END_SRC
|
