2020-01-11 22:04:45 +01:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
|
|
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
|
|
|
|
<head>
|
2020-11-03 16:27:09 +01:00
|
|
|
<!-- 2020-11-03 mar. 16:26 -->
|
2020-01-11 22:04:45 +01:00
|
|
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
|
|
|
|
<title>Termite Configuration</title>
|
|
|
|
<meta name="generator" content="Org mode" />
|
|
|
|
<meta name="author" content="Dehaeze Thomas" />
|
2020-01-11 22:22:46 +01:00
|
|
|
<link rel="stylesheet" type="text/css" href="./css/htmlize.css"/>
|
|
|
|
<link rel="stylesheet" type="text/css" href="./css/readtheorg.css"/>
|
|
|
|
<script type="text/javascript" src="./js/jquery.min.js"></script>
|
|
|
|
<script type="text/javascript" src="./js/bootstrap.min.js"></script>
|
|
|
|
<script type="text/javascript" src="./js/jquery.stickytableheaders.min.js"></script>
|
|
|
|
<script type="text/javascript" src="./js/readtheorg.js"></script>
|
2020-01-11 22:04:45 +01:00
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id="org-div-home-and-up">
|
|
|
|
<a accesskey="h" href="./index.html"> UP </a>
|
|
|
|
|
|
|
|
|
<a accesskey="H" href="./index.html"> HOME </a>
|
|
|
|
</div><div id="content">
|
|
|
|
<h1 class="title">Termite Configuration</h1>
|
|
|
|
<div id="table-of-contents">
|
|
|
|
<h2>Table of Contents</h2>
|
|
|
|
<div id="text-table-of-contents">
|
|
|
|
<ul>
|
|
|
|
<li><a href="#org5db7562">Options</a></li>
|
|
|
|
<li><a href="#org256b6c3">Hints</a></li>
|
|
|
|
<li><a href="#org0d0648a">Colors</a></li>
|
|
|
|
</ul>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div id="outline-container-org5db7562" class="outline-2">
|
|
|
|
<h2 id="org5db7562">Options</h2>
|
|
|
|
<div class="outline-text-2" id="text-org5db7562">
|
|
|
|
<div class="org-src-container">
|
|
|
|
<pre class="src src-conf">[<span class="org-type">options</span>]
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">allow_bold = true</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">audible_bell = false</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">bold_is_bright = true</span>
|
|
|
|
<span class="org-variable-name">clickable_url</span> = true
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">dynamic_title = true</span>
|
|
|
|
<span class="org-variable-name">font</span> = Hack Nerd Font Mono 13px
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">fullscreen = true</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">icon_name = terminal</span>
|
|
|
|
<span class="org-variable-name">mouse_autohide</span> = true
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">scroll_on_output = false</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">scroll_on_keystroke = true</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Length of the scrollback buffer, 0 disabled the scrollback buffer</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">and setting it to a negative value means "infinite scrollback"</span>
|
|
|
|
<span class="org-variable-name">scrollback_lines</span> = <span class="org-highlight-numbers-number">10000</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">search_wrap = true</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">urgent_on_bell = true</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">hyperlinks = false</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">$BROWSER is used by default if set, with xdg-open as a fallback</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">browser = xdg-open</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Hide links that are no longer valid in url select overlay mode</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">filter_unmatched_urls = true</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Emit escape sequences for extra modified keys</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">modify_other_keys = false</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">set size hints for the window</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">size_hints = false</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">"off", "left" or "right"</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">scrollbar = off</span>
|
|
|
|
|
|
|
|
<span class="org-variable-name">highlight</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">2f2f2f</span>
|
|
|
|
</pre>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div id="outline-container-org256b6c3" class="outline-2">
|
|
|
|
<h2 id="org256b6c3">Hints</h2>
|
|
|
|
<div class="outline-text-2" id="text-org256b6c3">
|
|
|
|
<div class="org-src-container">
|
|
|
|
<pre class="src src-conf">[<span class="org-type">hints</span>]
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">padding = 2</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">border = #3f3f3f</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">border_width = 0.5</span>
|
|
|
|
<span class="org-comment-delimiter">#</span><span class="org-comment">roundness = 2.0</span>
|
|
|
|
</pre>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div id="outline-container-org0d0648a" class="outline-2">
|
|
|
|
<h2 id="org0d0648a">Colors</h2>
|
|
|
|
<div class="outline-text-2" id="text-org0d0648a">
|
|
|
|
<div class="org-src-container">
|
|
|
|
<pre class="src src-conf">[<span class="org-type">colors</span>]
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Base16 Gruvbox dark, soft</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Author: Dawid Kurek (dawikur@gmail.com), morhetz (https://github.com/morhetz/gruvbox)</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">fg2</span>
|
|
|
|
<span class="org-variable-name">foreground</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">d5c4a1</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">fg1</span>
|
|
|
|
<span class="org-variable-name">foreground_bold</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">ebdbb2</span>
|
|
|
|
<span class="org-variable-name">cursor</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">ebdbb2</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">bg0_s</span>
|
|
|
|
<span class="org-variable-name">cursor_foreground</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">32302f</span>
|
|
|
|
<span class="org-variable-name">background</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">32302f</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">16 color space</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">bg0_s</span>
|
|
|
|
<span class="org-variable-name">color0</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">32302f</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">bg3</span>
|
|
|
|
<span class="org-variable-name">color8</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">665c54</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">fb2</span>
|
|
|
|
<span class="org-variable-name">color7</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">d5c4a1</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">fg0</span>
|
|
|
|
<span class="org-variable-name">color15</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">fbf1c7</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Red</span>
|
|
|
|
<span class="org-variable-name">color1</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">fb4934</span>
|
|
|
|
<span class="org-variable-name">color9</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">fb4934</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Green</span>
|
|
|
|
<span class="org-variable-name">color2</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">b8bb26</span>
|
|
|
|
<span class="org-variable-name">color10</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">b8bb26</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Yellow</span>
|
|
|
|
<span class="org-variable-name">color3</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">fabd2f</span>
|
|
|
|
<span class="org-variable-name">color11</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">fabd2f</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Blue</span>
|
|
|
|
<span class="org-variable-name">color4</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">83a598</span>
|
|
|
|
<span class="org-variable-name">color12</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">83a598</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Purple</span>
|
|
|
|
<span class="org-variable-name">color5</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">d3869b</span>
|
|
|
|
<span class="org-variable-name">color13</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">d3869b</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Teal</span>
|
|
|
|
<span class="org-variable-name">color6</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">8ec07c</span>
|
|
|
|
<span class="org-variable-name">color14</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">8ec07c</span>
|
|
|
|
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">Extra colors</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">orange</span>
|
|
|
|
<span class="org-variable-name">color16</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">fe8019</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">orange</span>
|
|
|
|
<span class="org-variable-name">color17</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">d65d0e</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">bg1</span>
|
|
|
|
<span class="org-variable-name">color18</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">3c3836</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">bg2</span>
|
|
|
|
<span class="org-variable-name">color19</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">504945</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">fg3</span>
|
|
|
|
<span class="org-variable-name">color20</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">bdae93</span>
|
|
|
|
<span class="org-comment-delimiter"># </span><span class="org-comment">fg</span>
|
|
|
|
<span class="org-variable-name">color21</span> = <span class="org-comment-delimiter">#</span><span class="org-comment">ebdbb2</span>
|
|
|
|
</pre>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<div id="postamble" class="status">
|
|
|
|
<p class="author">Author: Dehaeze Thomas</p>
|
2020-11-03 16:27:09 +01:00
|
|
|
<p class="date">Created: 2020-11-03 mar. 16:26</p>
|
2020-01-11 22:04:45 +01:00
|
|
|
</div>
|
|
|
|
</body>
|
|
|
|
</html>
|