1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
|
# -*-perl-*-
# Configuration of cvsweb.cgi, the
# CGI interface to CVS Repositories.
#
# (c) 1998-1999 H. Zeller <zeller@think.de>
# 1999 H. Nordström <hno@hem.passagen.se>
# based on work by Bill Fenner <fenner@freebsd.org>
# $Id$
#
###
##############
# CVS Root
##############
# CVSweb can handle several CVS-Repositories
# at once. Enter a short symbolic names and the
# full path of these repositories here.
# NOTE that the symbolic names may not contain
# whitespaces.
# Note, that cvsweb.cgi currently needs to have physical access
# to the CVS repository so :pserver:someone@xyz.com:/data/cvsroot
# won't work!
# 'symbolic_name' 'path_to_the_actual_repository'
%CVSROOT = (
'ProofGeneral' => '/home/proofgen/cvsmirror/src'
);
# This tree is enabled by default when
# you enter the page
$cvstreedefault = 'ProofGeneral';
##############
# Defaults for UserSettings
##############
%DEFAULTVALUE = (
# sortby: File sort order
# file Sort by filename
# rev Sort by revision number
# date Sort by commit date
# author Sort by author
# log Sort by log message
"sortby" => "file",
# hideattic: Hide or show files in Attic
# 1 Hide files in Attic
# 0 Show files in Attic
"hideattic" => "1",
# logsort: Sort order for CVS logs
# date Sort revisions by date
# rev Sort revision by revision number
# cvs Don't sort them. Same order as CVS/RCS shows them.
"logsort" => "date",
# f: Default diff format
# h Human readable
# u Unified diff
# c Context diff
# s Side by side
"f" => "h",
# hidecvsroot: Don't show the CVSROOT directory
# 1 Hide CVSROOT directory
# 0 Show CVSROOT directory
"hidecvsroot" => "0",
# hidenonreadable: Don't show entries which cannot be read
# 1 Hide non-readable entries
# 0 Show non-readble entries
"hidenonreadable" => "1",
);
##############
# some layout stuff
##############
$stylesheet = '<link rel="stylesheet"
href="http://zermelo.dcs.ed.ac.uk/~proofgen/proofgen.css"
type="text/css">';
# color settings in the body-tag
# $body_tag = '<body text="#000000" bgcolor="#ffffff">';
$body_tag = '<body>';
# Wanna have a logo on the page ?
$logo = '<a href="http://zermelo.dcs.ed.ac.uk/~proofgen">
<img src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/ProofGeneral.jpg" alt="Proof General" align=top
width=65 height=76 border=0 ></a>';
# The title of the Page on startup
$defaulttitle = "Proof General CVS Repository";
# This message is shown on the footer
$footer = '<small>
<i>Contact <a href="http://zermelo.dcs.ed.ac.uk/~da/">David Aspinall</a>
for information about Proof General development.
<br>
This page was generated by
<a href="http://linux.fh-heilbronn.de/~zeller/cgi/cvsweb.cgi">CVSweb</a>.
</i>
</small>';
# Default page background color for the diffs
# and annotations
$backcolor = "#222222";
# color of navigation Header for
# diffs and annotations
$navigationHeaderColor = '#AAAA66';
$long_intro = <<EOT;
<p>
This is a WWW interface to the Proof General CVS Repository.
You can browse the file hierarchy by picking directories
(which have slashes after them, <i>e.g.</i>, <b>src/</b>).
If you pick a file, you will see the revision history
for that file.
Selecting a revision number will download that revision of
the file. There is a link at each revision to display
diffs between that revision and the previous one, and
a form at the bottom of the page that allows you to
display diffs between arbitrary revisions.
</p>
EOT
$short_instruction = <<EOT;
<p>
Click on a directory to enter that directory. Click on a file to display
its revision history and to get a chance to display diffs between revisions.
</p>
EOT
# used icons; if icon-url is empty, the text representation is used; if
# you do not want to have an ugly tooltip for the icon, remove the
# text-representation.
# The width and height of the icon allow the browser to correcly display
# the table while still loading the icons.
# These default icons are coming with apache.
# If these icons are too large, check out the miniicons in the
# icons/ directory; they have a width/height of 16/16
# format: TEXT ICON-URL width height
%ICONS = (
back => [ ("[BACK]", "/icons/back.gif", 20, 22) ],
dir => [ ("[DIR]", "/icons/dir.gif", 20, 22) ],
file => [ ("[TXT]", "/icons/text.gif", 20, 22) ],
);
# the length to which the last logentry should
# be truncated when shown in the directory view
$shortLogLen = 80;
# Show author of last change
$show_author = 1;
##############
# table view for directories
##############
# Show directory as table
# this is much more readable but has one
# drawback: the whole table has to be loaded
# before common browsers display it which may
# be annoying if you have a slow link - and a
# large directory ..
$dirtable = 1;
# show different colors for even/odd rows
@tabcolors = ('#664433', '#663344');
$tablepadding = 2;
# Color of Header
$columnHeaderColorDefault = '#333333';
$columnHeaderColorSorted = '#880088';
#
# If you want to have colored borders
# around each row, uncomment this
$tableBorderColor = '#999999';
#
# Modules in the repository that should not be displayed, either by default
# nor by explicit path specification.
#
@HideModules = (
);
##############
# Human Readable Diff
##############
# (c) 1998 H. Zeller <zeller@think.de>
#
# Generates two columns of color encoded
# diff; much like xdiff or emacs-ediff mode.
#
# The diff-stuff is a piece of code I once made for
# cvs2html which is under GPL,
# see http://www.sslug.dk/cvs2html
# (c) 1997/98 Peter Toft <pto@sslug.imm.dtu.dk>
#
# some parameters to screw:
##
# make lines breakable so that the columns do not
# exceed the width of the browser
$hr_breakable = 1;
# give out function names in human readable diffs
# this just makes sense if we have C-files, otherwise
# diff's heuristic doesn't work well ..
# ( '-p' option to diff)
$hr_funout = 0;
# ignore whitespaces for human readable diffs
# (indendation and stuff ..)
# ( '-w' option to diff)
$hr_ignwhite = 1;
# ignore diffs which are caused by
# keyword-substitution like $Id - Stuff
# ( '-kk' option to rcsdiff)
$hr_ignkeysubst = 1;
# Colors and font to show the diff type of code changes
$diffcolorHeading = '#99cccc'; # color of 'Line'-head of each diffed file
$diffcolorEmpty = '#cccccc'; # color of 'empty' lines
$diffcolorRemove = '#ff9999'; # Removed line(s) (left) ( - )
$diffcolorChange = '#99ff99'; # Changed line(s) ( both )
$diffcolorAdd = '#ccccff'; # Added line(s) ( - ) (right)
$diffcolorDarkChange = '#99cc99'; # lines, which are empty in change
$difffontface = "Helvetica,Arial";
$difffontsize = "-1";
# the width of the textinput of the
# request-diff-form
$inputTextSize = 12;
##############
# Mime Types
##############
# mapping to mimetypes to help
# cvsweb to guess the correct mime-type on
# checkout; you can use the mime.types from
# apache here:
$mime_types = '/etc/httpd/conf/mime.types';
# quick mime-type lookup; maps file-suffices to
# mime-types for displaying checkouts in the browser.
# Further MimeTypes will be found in the
# file $mime_types (apache style mime.types - file)
# - add common mappings here for faster lookup
%MTYPES = (
"html" => "text/html",
"shtml" => "text/html",
"gif" => "image/gif",
"jpeg" => "image/jpeg",
"jpg" => "image/jpeg",
"*" => "text/plain",
);
##############
# Misc
##############
# allow annotation of files
# this requires rw-access to the
# CVSROOT/history - file and rw-access
# to the subdirectory to place the lock
# so you maybe don't want it
$allow_annotate = 1;
# allow pretty-printed version of files
$allow_markup = 1;
# allow compression with gzip
# of output if the Browser accepts
# it (HTTP_ACCEPT_ENCODING=gzip)
# [make sure to have gzip in the path]
$allow_compress = 1;
# Make use of javascript functions.
# This way you can select one of your CVSroot
# without pressing 'Go' (.. if you do have more
# than one CVSROOT defined)
$use_java_script = 1;
# open Download-Links in another window
$open_extern_window = 1;
# The size of this extern window; this size option
# needs use_java_script to be defined
# just comment them if you don't want to have a fixed
# size
#$extern_window_width = 600;
#$extern_window_height = 440;
# Edit Options
# Enable form to edit your options (hideattic,sortbydate)
# this isn't necessary if you've $dirtable defined 'cause
# this allows editing of all your options more intuitive
$edit_option_form = (not $dirtable);
# remember to set the path to your
# rcsutils: rlog, rcsdiff (gzip if you use compression)
#$ENV{'PATH'} = '/usr/local/bin';
# If you have files which automatically refers to other files
# (such as HTML) then this allows you to browse the checked
# out files as if outside CVS.
$checkout_magic = 1;
# Show last changelog message for sub directories
# The current implementation makes many assumptions and may show the
# incorrect file at some times. The main assumption is that the last
# modified file has the newest filedate. But some CVS operations
# touches the file without even when a new version is't checked in,
# and TAG based browsing essientially puts this out of order, unless
# the last checkin was on the same tag as you are viewing.
# Enable this if you like the feature, but don't rely on correct results.
$show_subdir_lastmod = 0;
# Background color of logentry in markup
$markupLogColor = "#ffffff";
# Show CVS log when viewing file contents
$show_log_in_markup = 1;
# Tabstop used to expand tabs in colored diffs. If undefined then
# tabs are always expanded to 8 spaces.
$tabstop = 8;
# Horizontal rules (added by da@dcs.ed.ac.uk)
# defaults:
# $hr="<hr noshade>";
# $bighr="<hr noshade size=1>";
# $widehr="<hr noshade width=100%>";
$hr = '<img border=0 src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/silverrule.gif" height=4 width=100%>';
$bighr = '<img border=0 src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/silverrule.gif" height=8 width=100%>';
$widehr = '<img border=0 src="http://zermelo.dcs.ed.ac.uk/~proofgen/images/silverrule.gif" height=4 width=100%>';
#EOF
|
