git_server: Rename role

This commit is contained in:
Timo Makinen 2022-02-24 23:59:28 +00:00
parent fadd7882e3
commit fa51bab09c
7 changed files with 1 additions and 1 deletions

View file

@ -0,0 +1,26 @@
# read git repo root from env or use default
our $projectroot = $ENV{'GITWEB_PROJECTROOT'};
# site name
our $site_name = "foo.sh - Public GIT repositories";
# add custom css
push @stylesheets, "/static/gitweb-local.css";
our $logo = "/static/logo.png";
our $logo_label = "https://www.foo.sh/";
# base urls
our $logo_url = "https://www.foo.sh/";
our $home_link = "https://git.foo.sh";
our $home_link_str = "https://git.foo.sh";
# avatar support
$feature{"avatar"}{"default"} = ["gravatar"];
# add support for bz2 and zip snapshots
$feature{"snapshot"}{"default"} = ["tgz", "tbz2", "zip"];
# syntax highlight (rhel8 supports detection without known extension)
$highlight_bin = "highlight";
$feature{"highlight"}{"defaut"} = [1];