Documentation. Generate properties site page at build time.

James Moger

2011-07-07 a3f4748183623fa0e92381f3e49c29ebcdcbb56e

 distrib/gitblit.properties

@@ -22,7 +22,7 @@
# Allow push/pull over http/https with JGit servlet.

# If you do NOT want to allow Git clients to clone/push to Gitblit set this

# to false.  You might want to do this if you are only using ssh:// or git://.

# If you set this false, consider changing the [web.otherUrls] setting to

# If you set this false, consider changing the *web.otherUrls* setting to

# indicate your clone/push urls.

#

# SINCE 0.5.0

@@ -78,10 +78,10 @@
# SINCE 0.5.0

web.siteName =



# If web.authenticateAdminPages=true, users with "admin" role can create

# If *web.authenticateAdminPages*=true, users with "admin" role can create

# repositories, create users, and edit repository metadata.

#

# If web.authenticateAdminPages=false, any user can execute the aforementioned

# If *web.authenticateAdminPages*=false, any user can execute the aforementioned

# functions. 

#

# SINCE 0.5.0 

@@ -113,16 +113,23 @@
# RESTART REQUIRED

web.useClientTimezone = false



# Date and Time formats

# http://download.oracle.com/javase/6/docs/api/java/text/SimpleDateFormat.html

# Short date format

# <http://download.oracle.com/javase/6/docs/api/java/text/SimpleDateFormat.html>

#

# SINCE 0.5.0

web.datestampShortFormat = yyyy-MM-dd



# Long timestamp format

# <http://download.oracle.com/javase/6/docs/api/java/text/SimpleDateFormat.html>

#

# SINCE 0.5.0

web.datetimestampLongFormat = EEEE, MMMM d, yyyy h:mm a z



# Mount parameters

# true: http://localhost/commit/myrepo/abcdef

# false: http://localhost/commit/?r=myrepo&h=abcdef

# Mount URL parameters

# This setting controls if pretty or parameter URLs are used.

# i.e.

# if true: http://localhost/commit/myrepo/abcdef

# if false: http://localhost/commit/?r=myrepo&h=abcdef

#

# SINCE 0.5.0

# RESTART REQUIRED