From a0b1ad366a744cfa5c65bff263650e1a5d211dd0 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Fri, 29 Aug 2014 15:20:23 +0000 Subject: [PATCH] * Handle chunked manual. git-svn-id: https://nixos.org/repos/nix/release/trunk/channels@34855 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb --- mirror-nixos-branch.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mirror-nixos-branch.sh b/mirror-nixos-branch.sh index be7db5a..68998be 100755 --- a/mirror-nixos-branch.sh +++ b/mirror-nixos-branch.sh @@ -43,7 +43,9 @@ else $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 rm -rf $tmpDir/foo - ln -s manual.html $tmpDir/manual/index.html + if ! [ -e $tmpDir/manual/index.html ]; then + 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.x86_64-linux/download