lug: elan update (#453)

sjtug · Feb 7, 2024 · e88d240 · e88d240
1 parent 85b2c66
commit e88d240
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
@@ -276,6 +276,7 @@ https://mirror.sjtu.edu.cn {
         not path /git/lean4-packages/doc-gen4/*
         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 /immortalwrt/*
         not path /putty/*
         not path /gentoo/*
@@ -1129,6 +1130,10 @@ https://mirror.sjtu.edu.cn {
     handle /git/lean4-packages/mathematics_in_lean/* {
         reverse_proxy git-backend
     }
+    redir /git/lean4-packages/import-graph /git/lean4-packages/import-graph/ 301
+    handle /git/lean4-packages/import-graph/* {
+        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
@@ -305,6 +305,7 @@ https://mirrors.sjtug.sjtu.edu.cn {
         not path /git/lean4-packages/doc-gen4/*
         not path /git/lean4-packages/mathematics_in_lean_source/*
         not path /git/lean4-packages/mathematics_in_lean/*
+        not path /git/lean4-packages/import-graph/*
     }
     encode @gzip_enabled gzip zstd
 
@@ -1084,5 +1085,9 @@ https://mirrors.sjtug.sjtu.edu.cn {
     handle_path /git/lean4-packages/mathematics_in_lean/* {
         redir * https://mirror.sjtu.edu.cn/git/lean4-packages/mathematics_in_lean{uri} 302
     }
+    redir /git/lean4-packages/import-graph /git/lean4-packages/import-graph/ 301
+    handle_path /git/lean4-packages/import-graph/* {
+        redir * https://mirror.sjtu.edu.cn/git/lean4-packages/import-graph{uri} 302
+    }
 }
 
diff --git a/config.siyuan.yaml b/config.siyuan.yaml
@@ -1065,3 +1065,10 @@ repos:
     source: https://github.com/leanprover-community/mathematics_in_lean.git
     path: /srv/data32T/git/lean4-packages/mathematics_in_lean.git
     serve_mode: git
+  - type: shell_script
+    script: /worker-script/git.sh
+    interval: 3600
+    name: git/lean4-packages/import-graph
+    source: https://github.com/leanprover-community/import-graph.git
+    path: /srv/data32T/git/lean4-packages/import-graph.git
+    serve_mode: git