add batteries url

sjtug · May 17, 2024 · c128f9a · c128f9a
1 parent 9b28129
commit c128f9a
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 0 deletions.
diff --git a/caddy/Caddyfile.siyuan b/caddy/Caddyfile.siyuan
@@ -279,6 +279,7 @@ https://mirror.sjtu.edu.cn {
         not path /git/lean4-packages/mathematics_in_lean_source/*
         not path /git/lean4-packages/mathematics_in_lean/*
         not path /git/lean4-packages/import-graph/*
+        not path /git/lean4-packages/batteries/*
         not path /kali/*
         not path /almalinux/*
         not path /immortalwrt/*
@@ -1141,6 +1142,10 @@ https://mirror.sjtu.edu.cn {
     handle /git/lean4-packages/import-graph/* {
         reverse_proxy git-backend
     }
+    redir /git/lean4-packages/batteries /git/lean4-packages/batteries/ 301
+    handle /git/lean4-packages/batteries/* {
+        reverse_proxy git-backend
+    }
     redir /git/homebrew-core.git /git/homebrew-core.git/ 301
     handle_path /git/homebrew-core.git/* {
         redir * https://mirrors.sjtug.sjtu.edu.cn/git/homebrew-core.git{uri} 302

diff --git a/caddy/Caddyfile.zhiyuan b/caddy/Caddyfile.zhiyuan
@@ -316,6 +316,7 @@ https://mirrors.sjtug.sjtu.edu.cn {
         not path /git/lean4-packages/mathematics_in_lean_source/*
         not path /git/lean4-packages/mathematics_in_lean/*
         not path /git/lean4-packages/import-graph/*
+        not path /git/lean4-packages/batteries/*
     }
     encode @gzip_enabled gzip zstd
 
@@ -1121,5 +1122,9 @@ https://mirrors.sjtug.sjtu.edu.cn {
     handle_path /git/lean4-packages/import-graph/* {
         redir * https://mirror.sjtu.edu.cn/git/lean4-packages/import-graph{uri} 302
     }
+    redir /git/lean4-packages/batteries /git/lean4-packages/batteries/ 301
+    handle_path /git/lean4-packages/batteries/* {
+        redir * https://mirror.sjtu.edu.cn/git/lean4-packages/batteries{uri} 302
+    }
 }
 
diff --git a/config.siyuan.yaml b/config.siyuan.yaml
@@ -1077,3 +1077,10 @@ repos:
     source: https://github.com/leanprover-community/import-graph.git
     path: /srv/data32T/git/lean4-packages/import-graph.git
     serve_mode: git
+  - type: shell_script
+    script: /worker-script/git.sh
+    interval: 3600
+    name: git/lean4-packages/batteries
+    source: https://github.com/leanprover-community/batteries.git
+    path: /srv/data32T/git/lean4-packages/batteries.git
+    serve_mode: git