chiark / gitweb /
gitk template, from mariner
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:00:02 +0000 (19:00 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:00:02 +0000 (19:00 +0100)
templates/gitk.in [new file with mode: 0755]

diff --git a/templates/gitk.in b/templates/gitk.in
new file mode 100755 (executable)
index 0000000..049d66c
--- /dev/null
@@ -0,0 +1,42 @@
+#!/bin/bash
+set -e
+. infra/template
+
+cat <<END
+set mainfont {{Bitstream Vera Sans} 8}
+set textfont fixed
+set uifont {Helvetica 9 bold}
+set tabstop 8
+set findmergefiles 0
+set maxgraphpct 50
+set maxwidth 16
+set cmitmode patch
+set wrapcomment none
+set autoselect 1
+set autosellen 40
+set showneartags 1
+set hideremotes 0
+set showlocalchanges 1
+set datetimeformat {%Y-%m-%d %H:%M:%S}
+set limitdiffs 1
+set uicolor grey85
+set want_ttk 1
+set bgcolor white
+set fgcolor black
+set colors {green red blue magenta darkgrey brown orange}
+set diffcolors {{#ff6b66} #005400 blue}
+set markbgcolor #e0e0ff
+set diffcontext 3
+set selectbgcolor gray85
+set extdifftool meld
+set perfile_attrs 0
+set geometry(main) 959x1054+535+86
+set geometry(state) normal
+set geometry(topwidth) 959
+set geometry(topheight) 422
+set geometry(pwsash0) "619 1"
+set geometry(pwsash1) "838 1"
+set geometry(botwidth) 669
+set geometry(botheight) 627
+set permviews {}
+END