17 lines
457 B
Django/Jinja
17 lines
457 B
Django/Jinja
# Packages with pin priority = 100
|
|
# causes a version to be installed unless there is a version available
|
|
# belonging to some other distribution or the installed version is more
|
|
# recent
|
|
|
|
Package: *
|
|
Pin: origin "{{ _config.url|urlsplit('hostname') }}"
|
|
Pin-Priority: 100
|
|
{% if _config.packages is defined %}
|
|
{% for pkg in _config.packages %}
|
|
|
|
Package: {{ pkg }}
|
|
Pin: origin "{{ _config.url|urlsplit('hostname') }}"
|
|
Pin-Priority: 500
|
|
{% endfor %}
|
|
{% endif %}
|