欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo Document Services
来自开放百科 - 灰狐
- http://docs.huihoo.com 为开源项目提供在线文档服务,
- http://ldp.huihoo.org // 镜像 tldp.org
- http://gnu.huihoo.org // 镜像 gnu.org
- 镜像 tldp.org
rsync -rlptv --delete ftp.ibiblio.org::ldp_mirror /your_path_to/LDP
- 镜像 gnu.org
Mirroring the GNU Web Server
<VirtualHost>:
ServerName gnumirror.example.org CacheRoot "/var/cache/mod_proxy" CacheDefaultExpire 86400 # for Apache 2.0+, value is in seconds ProxyPass / http://www.gnu.org/ CacheEnable disk /
Mirroring the GNU FTP server requires approximately 40GB disk space (as of 04 January 2007), which is distributed by the following way:
/gnu: 12G /non-gnu: 300M /old-gnu: 700M /gnu+linux-distros: 27G
rsync://ftp.ibiblio.org/pub/gnu/ftp/ ftp://ftp.ibiblio.org/pub/mirrors/gnu/ftp/
and
rsync://ftp.funet.fi/ftp/pub/mirrors/ftp.gnu.org/pub/gnu/ ftp://ftp.funet.fi/ftp/pub/mirrors/ftp.gnu.org/pub/gnu/
分享您的观点