From: Jakub Czajka Date: Mon, 23 Oct 2023 22:42:29 +0000 (+0200) Subject: [git] Split configuration for public and private git servers. X-Git-Url: https://git.ekhem.eu.org/?a=commitdiff_plain;h=ab0283636ef62809939acd0492cea2543f71f7a2;p=server.git [git] Split configuration for public and private git servers. --- diff --git a/git/gitweb.conf b/git/gitweb.conf deleted file mode 100644 index 874da4c..0000000 --- a/git/gitweb.conf +++ /dev/null @@ -1,36 +0,0 @@ -# Copyright (c) 2023 Jakub Czajka -# License: GPL-3.0 or later. - -# path to git projects (.git) -$projectroot = "/srv/git"; - -# directory to use for temp files -$git_temp = "/tmp"; - -# target of the home link on top of all pages -#$home_link = $my_uri || "/"; - -# html text to include at home page -#$home_text = "indextext.html"; - -# file with project list; by default, simply scan the projectroot dir. -#$projects_list = $projectroot; - -# stylesheet to use -#@stylesheets = ("static/gitweb.css"); - -# javascript code for gitweb -#$javascript = "static/gitweb.js"; - -# logo to use -#$logo = "static/git-logo.png"; - -# the 'favicon' -#$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"; 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/public.conf b/git/public.conf new file mode 100644 index 0000000..ac225b0 --- /dev/null +++ b/git/public.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";