tdehaeze/literate-dotfiles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Large update

Browse Source
This commit is contained in:
Thomas Dehaeze
2021-04-25 19:10:57 +02:00
parent 601126b68d
commit 0472bbccf1
41 changed files with 3540 additions and 1197 deletions
Download Patch File Download Diff File Expand all files Collapse all files

110
docs/termite.html
View File

@@ -3,11 +3,11 @@
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<!-- 2021-01-08 ven. 01:40 -->
<!-- 2021-04-25 dim. 19:10 -->
<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" />
<meta name="generator" content="Org Mode" />
<link rel="stylesheet" type="text/css" href="./dist/style.css"/>
<script type="text/javascript" src="./dist/script.js"></script>
</head>
@@ -47,8 +47,8 @@
<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-variable-name">scrollback_lines</span> = -1
<span class="org-variable-name">search_wrap</span> = true
<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>
@@ -92,66 +92,66 @@
<div class="outline-text-2" id="text-org53904a0">
<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">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">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">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">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">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">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">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">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">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">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>
<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>
@@ -159,7 +159,7 @@
</div>
<div id="postamble" class="status">
<p class="author">Author: Dehaeze Thomas</p>
<p class="date">Created: 2021-01-08 ven. 01:40</p>
<p class="date">Created: 2021-04-25 dim. 19:10</p>
</div>
</body>
</html>