tunasync-scripts
tunasync-scripts copied to clipboard
tuna
Custom scripts for mirror jobs
PyG is a library built upon PyTorch to easily write and train Graph Neural Networks for a wide range of applications related to structured data. PyG is both friendly to...
- nix-channels: Find nar files in closure separately - nix-channels: Garbage collect before updating
1.增加同步Mercurial代码库的先决条件函数：init_git_remote_hg()，用于初始化依赖脚本、更新git设置等。此函数只需调用一次即可，无需每次同步Mercurial代码库都调用。 2.增加repo_init()函数的Mercurial适用版本：repo_init_hg() 3.增加update_repo_git()函数的Mercurial适用版本：update_repo_git_hg() 4.由于Mercurial支持MultipleHeads，所以出于防止歧义的考虑，我没法实现checkout_repo()函数的Mercurial适用版本。MultipleHeads的链接详见：https://www.mercurial-scm.org/wiki/MultipleHeads
To mirror Lean4 the task is split into: 1. The Elan installer itself and its init scripts 2. The Lean4 toolchains binary 3. The Mathlib4 library and its recursive dependencies...
配置： ```toml #/etc/tunasync/mirrors.conf.d/boost.conf [[mirrors]] name = "boost.git" provider = "command" command = "/home/tunasync-scripts/git-recursive.sh" upstream = "https://github.com/boostorg/boost.git" docker_image = "tunathu/tunasync-scripts:latest" size_pattern = "size-pack: ([0-9\\.]+[KMGTP])" [mirrors.env] MIRROR_BASE_URL="http://mirror.example.com/" WORKING_DIR_BASE="/srv/git-mirror/" GENERATED_SCRIPT="/srv/git-mirror/boost-git.sh" RECURSIVE="1" ``` 日志：http://fars.ee/pGah...
