pile

commit 87fbdf26a7337c49e74a7ca1b976b97f6ce02d09
parent d9d218838ee1f5f55053cf64f528624d8d2a55c8
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Sat, 13 Dec 2025 21:15:32 +0100

Theory-craft some more

Diffstat:
M
stagit/README.org
 | 
43
++++++++++++++++++++++++++++++++++---------

1 file changed, 34 insertions(+), 9 deletions(-)
diff --git a/stagit/README.org b/stagit/README.org
@@ -1,22 +1,47 @@
 * File layout
-- HOME/git
+- HOME/git (=GITDIR=)
   - REPO
     - <bare repo content>
     - hooks
-      - post-receive → ../../.tools/hooks/post-receive
+      - post-receive → GITDIR/.tools/pile/stagit/post-receive
   - .tools
-    - hooks
-      - post-receive
+    - pile
   - .tools.env
-- WWW/git.DOMAIN
+- WWW/git.DOMAIN (=WWWDIR=)
   - index.html
+  - <stagit site resources: favicon, logo, style>
   - REPO
     - <bare repo content>
-    - <stagit content>
-    - url
-* post-receive
+    - <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 WWW/git.DOMAIN/REPO
+- cd WWWDIR/REPO
 - update-server-info
 - stagit
 - stagit-index