diff options
| author | Christian Pointner <equinox@spreadspace.org> | 2020-07-20 23:06:15 +0200 |
|---|---|---|
| committer | Christian Pointner <equinox@spreadspace.org> | 2020-07-20 23:06:15 +0200 |
| commit | 5bbc9ab278714aec8e4d5419b9ef9028f684820a (patch) | |
| tree | 4ef212f5baaeb810ac03b74cbf8cdbc8fb3c7bb8 /roles/installer | |
| parent | fix debian installer fetch variant hd-media (diff) | |
debian installer fetch: add support for mini.iso download
Diffstat (limited to 'roles/installer')
| -rw-r--r-- | roles/installer/debian/fetch/vars/main.yml | 3 |
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] }}" |