diff options
author | Joachim Tingvold <joachim@tingvold.com> | 2015-03-21 18:45:16 +0100 |
---|---|---|
committer | Joachim Tingvold <joachim@tingvold.com> | 2015-03-21 18:45:16 +0100 |
commit | 6c6d3763980179ef02554c2f4b0afb3065262e7b (patch) | |
tree | d16e4bc4ecb8cdee10bd9850629f6d3997029414 /tools/fetch-debinstall.sh | |
parent | d5c0e6ac02bd4bb1832434ef3fa502a21ac48432 (diff) |
Move rest of the bootstrap-files.
Diffstat (limited to 'tools/fetch-debinstall.sh')
-rwxr-xr-x | tools/fetch-debinstall.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/fetch-debinstall.sh b/tools/fetch-debinstall.sh deleted file mode 100755 index 069e39a..0000000 --- a/tools/fetch-debinstall.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash -xe -INSTALLER_DEST=$1 -DEBINSTROOT=http://ftp.no.debian.org/debian/dists - -mkdir -p ${INSTALLER_DEST}/{squeeze,wheezy}/{amd64,i386} -for DIST in squeeze wheezy -do - for ARCH in i386 amd64; - do - for FILE in initrd.gz linux - do - wget ${DEBINSTROOT}/${DIST}/main/installer-${ARCH}/current/images/netboot/debian-installer/${ARCH}/${FILE} \ - -O ${INSTALLER_DEST}/${DIST}/${ARCH}/${FILE} - done - done -done - |