---
debian_installer_base_url: "{{ debian_installer_url[debian_installer_distro] }}/dists/{{ [debian_installer_distro, debian_installer_codename] | di_dists_path }}/main/installer-{{ debian_installer_arch }}/current/{{ [debian_installer_distro, debian_installer_codename] | di_images_path }}"

_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:
    - linux
    - initrd.gz
  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] }}"
debian_installer_target_dir: "{{ installer_base_path }}/{{ debian_installer_distro }}-{{ debian_installer_codename }}/{{ debian_installer_arch }}-{{ debian_installer_variant }}"