diff options
| author | EuAndreh <eu@euandre.org> | 2022-11-28 15:40:56 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-11-28 15:40:58 -0300 |
| commit | e87db0e149b366c7ec6cb979491769537be1b0a6 (patch) | |
| tree | 088a8c21f0fd97bab4dfadde351997c7cb7130cb /src/infrastructure/guix/system.scm | |
| parent | Makefile: Add "public" as adependency to "dev-check" (diff) | |
| download | toph-e87db0e149b366c7ec6cb979491769537be1b0a6.tar.gz toph-e87db0e149b366c7ec6cb979491769537be1b0a6.tar.xz | |
src/infrastructure/guix/: Make uniform path for git:// and https:// access
Instead of having repositories served over the Git protocol differ from
when they are served via the Dumb HTTP protocol. Previously, nginx was
doing the URL rewriting, and
Diffstat (limited to 'src/infrastructure/guix/system.scm')
| -rw-r--r-- | src/infrastructure/guix/system.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/infrastructure/guix/system.scm b/src/infrastructure/guix/system.scm index 697d4c1..91d1940 100644 --- a/src/infrastructure/guix/system.scm +++ b/src/infrastructure/guix/system.scm @@ -1713,7 +1713,7 @@ (name "git") (group "git") (comment "Public Git user") - (home-directory "/srv/git") + (home-directory "/srv/git/git") (shell (file-append git "/bin/git-shell")))) %base-user-accounts)) (groups @@ -1782,6 +1782,7 @@ (nginx '()) (source-filter (file-append cgit "/lib/cgit/filters/syntax-highlighting.py")) (about-filter (file-append cgit "/lib/cgit/filters/about-formatting.sh")) + (repository-directory "/srv/git/git") (virtual-root "/git/") (remove-suffix? #t) (nocache? #t) |