summaryrefslogtreecommitdiff
path: root/roles/installer/debian
diff options
context:
space:
mode:
authorChristian Pointner <equinox@spreadspace.org>2020-07-20 23:06:15 +0200
committerChristian Pointner <equinox@spreadspace.org>2020-07-20 23:06:15 +0200
commit5bbc9ab278714aec8e4d5419b9ef9028f684820a (patch)
tree4ef212f5baaeb810ac03b74cbf8cdbc8fb3c7bb8 /roles/installer/debian
parentfix debian installer fetch variant hd-media (diff)
debian installer fetch: add support for mini.iso download
Diffstat (limited to 'roles/installer/debian')
-rw-r--r--roles/installer/debian/fetch/vars/main.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/roles/installer/debian/fetch/vars/main.yml b/roles/installer/debian/fetch/vars/main.yml
index 0f4f3f45..989fc305 100644
--- a/roles/installer/debian/fetch/vars/main.yml
+++ b/roles/installer/debian/fetch/vars/main.yml
@@ -4,6 +4,7 @@ debian_installer_base_url: "{{ debian_installer_url[debian_installer_distro] }}/
_debian_installer_variant_path_:
netboot: "netboot/{{ debian_installer_distro }}-installer/{{ debian_installer_arch }}"
hd-media: "hd-media"
+ mini-iso: "netboot"
_debian_installer_variant_files_:
netboot:
@@ -12,6 +13,8 @@ _debian_installer_variant_files_:
hd-media:
- vmlinuz
- initrd.gz
+ mini-iso:
+ - mini.iso
debian_installer_variant_path: "{{ _debian_installer_variant_path_[debian_installer_variant] }}"
debian_installer_variant_files: "{{ _debian_installer_variant_files_[debian_installer_variant] }}"