commit eb6070953668c5f2a645eacb99010a96a43f2b31
parent 87fbdf26a7337c49e74a7ca1b976b97f6ce02d09
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Sat, 13 Dec 2025 21:16:34 +0100
s/stagit/git
Who knows what other tools I'll throw onto my git "stack".
Diffstat:
4 files changed, 51 insertions(+), 51 deletions(-)
diff --git a/stagit/.tools.env b/git/.tools.env
diff --git a/git/README.org b/git/README.org
@@ -0,0 +1,51 @@
+* File layout
+- HOME/git (=GITDIR=)
+ - REPO
+ - <bare repo content>
+ - hooks
+ - post-receive → GITDIR/.tools/pile/git/post-receive
+ - .tools
+ - pile
+ - .tools.env
+- WWW/git.DOMAIN (=WWWDIR=)
+ - index.html
+ - <stagit site resources: favicon, logo, style>
+ - REPO
+ - <bare repo content>
+ - <stagit html content>
+ - <stagit resources: description, owner, url>
+* tools
+** TODO bootstrap
+- parameters
+ - =GITDIR= :: HOME/git
+ - =WWWDIR= :: WWW/git.DOMAIN
+- create
+ - WWWDIR
+ - install stagit resources: favicon, logo, style
+ - GITDIR
+ - GITDIR/.tools
+ - GITDIR/.tools.env
+ - GITDIR/.tools/install
+ - GITDIR/.tools/pile → <current checkout>
+- clone & build & install libgit2, stagit
+** TODO add repo
+- source .tools.env
+- setup WWWDIR/REPO
+ - git init --bare
+ - stagit info:
+ - repo: desription, owner, url
+ - link site resources (favicon, logo, style)
+- git remote add www WWWDIR/REPO
+- hooks/post-receive → GITDIR/.tools/pile/git/post-receive
+- run post-receive
+** post-receive
+- source .tools.env
+- git push www
+- cd WWWDIR/REPO
+- update-server-info
+- stagit
+- stagit-index
+* HTTP server config
+https://manual.uberspace.de/web-documentroot/
+https://a3nm.net/blog/cgit_stagit.html
+https://httpd.apache.org/docs/2.4/mod/mod_rewrite.html#rewriterule
diff --git a/stagit/post-receive b/git/post-receive
diff --git a/stagit/README.org b/stagit/README.org
@@ -1,51 +0,0 @@
-* File layout
-- HOME/git (=GITDIR=)
- - REPO
- - <bare repo content>
- - hooks
- - post-receive → GITDIR/.tools/pile/stagit/post-receive
- - .tools
- - pile
- - .tools.env
-- WWW/git.DOMAIN (=WWWDIR=)
- - index.html
- - <stagit site resources: favicon, logo, style>
- - REPO
- - <bare repo content>
- - <stagit html content>
- - <stagit resources: description, owner, url>
-* tools
-** TODO bootstrap
-- parameters
- - =GITDIR= :: HOME/git
- - =WWWDIR= :: WWW/git.DOMAIN
-- create
- - WWWDIR
- - install stagit resources: favicon, logo, style
- - GITDIR
- - GITDIR/.tools
- - GITDIR/.tools.env
- - GITDIR/.tools/install
- - GITDIR/.tools/pile → <current checkout>
-- clone & build & install libgit2, stagit
-** TODO add repo
-- source .tools.env
-- setup WWWDIR/REPO
- - git init --bare
- - stagit info:
- - repo: desription, owner, url
- - link site resources (favicon, logo, style)
-- git remote add www WWWDIR/REPO
-- hooks/post-receive → GITDIR/.tools/pile/stagit/post-receive
-- run post-receive
-** post-receive
-- source .tools.env
-- git push www
-- cd WWWDIR/REPO
-- update-server-info
-- stagit
-- stagit-index
-* HTTP server config
-https://manual.uberspace.de/web-documentroot/
-https://a3nm.net/blog/cgit_stagit.html
-https://httpd.apache.org/docs/2.4/mod/mod_rewrite.html#rewriterule