chiark / gitweb /
gitk: generate differnt fonts on zealot
[ian-dotfiles.git] / templates / gitk.in
1 #!/bin/bash
2 set -e
3 . infra/template
4
5 case "$font" in
6 zealot)
7         cat <<END
8 set mainfont {Helvetica 14}
9 set textfont {Courier 14}
10 set uifont {Helvetica 14 bold}
11 END
12         ;;
13 *)
14         cat <<END
15 set mainfont {{Bitstream Vera Sans} 8}
16 set textfont fixed
17 set uifont {Helvetica 9 bold}
18 END
19         ;;
20 esac
21
22 cat <<END
23 set tabstop 8
24 set findmergefiles 0
25 set maxgraphpct 50
26 set maxwidth 16
27 set cmitmode patch
28 set wrapcomment none
29 set autoselect 1
30 set autosellen 40
31 set showneartags 1
32 set hideremotes 0
33 set showlocalchanges 1
34 set datetimeformat {%Y-%m-%d %H:%M:%S}
35 set limitdiffs 1
36 set uicolor grey85
37 set want_ttk 1
38 set bgcolor white
39 set fgcolor black
40 set colors {green red blue magenta darkgrey brown orange}
41 set diffcolors {{#ff6b66} #005400 blue}
42 set markbgcolor #e0e0ff
43 set diffcontext 3
44 set selectbgcolor gray85
45 set extdifftool meld
46 set perfile_attrs 0
47 set permviews {}
48 END