diff options
author | Ole Mathias Heggem <olemathias.aa.heggem@gmail.com> | 2023-01-21 19:07:38 +0100 |
---|---|---|
committer | Ole Mathias Heggem <olemathias.aa.heggem@gmail.com> | 2023-01-21 19:07:38 +0100 |
commit | 709c78569b26677624e60588fa1166dc659ac93c (patch) | |
tree | 2bd5555af31b637d03693b8563fb24b41bf1f22b /bootstrap/fetch-debinstall.sh | |
parent | f5da0d943401e527f5162e9c6344deb65b19b045 (diff) |
chore: cleanup repo
Diffstat (limited to 'bootstrap/fetch-debinstall.sh')
-rwxr-xr-x | bootstrap/fetch-debinstall.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/bootstrap/fetch-debinstall.sh b/bootstrap/fetch-debinstall.sh deleted file mode 100755 index 017b864..0000000 --- a/bootstrap/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}/{wheezy,jessie}/{amd64,i386} -for DIST in wheezy jessie -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 - |