From ab0283636ef62809939acd0492cea2543f71f7a2 Mon Sep 17 00:00:00 2001 From: Jakub Czajka Date: Tue, 24 Oct 2023 00:42:29 +0200 Subject: [PATCH] [git] Split configuration for public and private git servers. --- git/private.conf | 36 ++++++++++++++++++++++++++++++++ git/{gitweb.conf => public.conf} | 18 ++++++++-------- 2 files changed, 45 insertions(+), 9 deletions(-) create mode 100644 git/private.conf rename git/{gitweb.conf => public.conf} (60%) diff --git a/git/private.conf b/git/private.conf new file mode 100644 index 0000000..e334831 --- /dev/null +++ b/git/private.conf @@ -0,0 +1,36 @@ +# Copyright (c) 2023 Jakub Czajka +# License: GPL-3.0 or later. + +# path to git projects (.git) +${dollar}projectroot = "${git_home_dir}"; + +# directory to use for temp files +${dollar}git_temp = "/tmp"; + +# target of the home link on top of all pages +#${dollar}home_link = ${dollar}my_uri || "/"; + +# html text to include at home page +#${dollar}home_text = "indextext.html"; + +# file with project list; by default, simply scan the projectroot dir. +#${dollar}projects_list = ${dollar}projectroot; + +# stylesheet to use +#@stylesheets = ("static/gitweb.css"); + +# javascript code for gitweb +#${dollar}javascript = "static/gitweb.js"; + +# logo to use +#${dollar}logo = "static/git-logo.png"; + +# the 'favicon' +#${dollar}favicon = "static/git-favicon.png"; + +# git-diff-tree(1) options to use for generated patches +#@diff_opts = ("-M"); +@diff_opts = (); + +# only show projects with the git-daemon-export-ok file +#our ${dollar}export_ok = "git-daemon-export-ok"; diff --git a/git/gitweb.conf b/git/public.conf similarity index 60% rename from git/gitweb.conf rename to git/public.conf index 874da4c..ac225b0 100644 --- a/git/gitweb.conf +++ b/git/public.conf @@ -2,35 +2,35 @@ # License: GPL-3.0 or later. # path to git projects (.git) -$projectroot = "/srv/git"; +${dollar}projectroot = "${git_home_dir}"; # directory to use for temp files -$git_temp = "/tmp"; +${dollar}git_temp = "/tmp"; # target of the home link on top of all pages -#$home_link = $my_uri || "/"; +#${dollar}home_link = ${dollar}my_uri || "/"; # html text to include at home page -#$home_text = "indextext.html"; +#${dollar}home_text = "indextext.html"; # file with project list; by default, simply scan the projectroot dir. -#$projects_list = $projectroot; +#${dollar}projects_list = ${dollar}projectroot; # stylesheet to use #@stylesheets = ("static/gitweb.css"); # javascript code for gitweb -#$javascript = "static/gitweb.js"; +#${dollar}javascript = "static/gitweb.js"; # logo to use -#$logo = "static/git-logo.png"; +#${dollar}logo = "static/git-logo.png"; # the 'favicon' -#$favicon = "static/git-favicon.png"; +#${dollar}favicon = "static/git-favicon.png"; # git-diff-tree(1) options to use for generated patches #@diff_opts = ("-M"); @diff_opts = (); # only show projects with the git-daemon-export-ok file -our $export_ok = "git-daemon-export-ok"; +our ${dollar}export_ok = "git-daemon-export-ok"; -- 2.39.5