the-distro/channel-scripts
1
0
Fork 1
Code Issues 8 Pull requests Packages Projects Releases Wiki Activity

* Handle chunked manual.

Browse source 
git-svn-id: https://nixos.org/repos/nix/release/trunk/channels@34855 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
This commit is contained in:
Eelco Dolstra 2014-08-29 15:20:23 +00:00
parent 48ddb3eec8
commit a0b1ad366a
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
mirror-nixos-branch.sh
View file

@ -43,7 +43,9 @@ else
$curl -L $url/job/nixos.manual.x86_64-linux/output/out | bzip2 -d | nix-store --restore $tmpDir/foo $curl -L $url/job/nixos.manual.x86_64-linux/output/out | bzip2 -d | nix-store --restore $tmpDir/foo
mv $tmpDir/foo/share/doc/nixos $tmpDir/manual mv $tmpDir/foo/share/doc/nixos $tmpDir/manual
rm -rf $tmpDir/foo rm -rf $tmpDir/foo
if ! [ -e $tmpDir/manual/index.html ]; then
ln -s manual.html $tmpDir/manual/index.html ln -s manual.html $tmpDir/manual/index.html
fi
$wget --directory=$tmpDir $url/job/nixos.iso_minimal.i686-linux/download $wget --directory=$tmpDir $url/job/nixos.iso_minimal.i686-linux/download
$wget --directory=$tmpDir $url/job/nixos.iso_minimal.x86_64-linux/download $wget --directory=$tmpDir $url/job/nixos.iso_minimal.x86_64-linux/download