This repository has been archived on 2020-11-04. You can view files and clone it, but cannot push or open issues or pull requests.
2017-08-16 15:41:59 +02:00
|
|
|
---
|
|
|
|
|
# tasks file for apt
|
|
|
|
|
|
|
|
|
|
# Sources list
|
|
|
|
|
## Stretch
|
|
|
|
|
- name: CONFIG stretch official sources.list
|
|
|
|
|
apt_repository:
|
|
|
|
|
repo: "{{ item }} http://httpredir.debian.org/debian/ stretch main contrib non-free"
|
|
|
|
|
filename: stretch
|
|
|
|
|
update_cache: no
|
|
|
|
|
with_items:
|
|
|
|
|
- deb
|
|
|
|
|
- deb-src
|
2017-08-16 15:44:57 +02:00
|
|
|
notify: aptitude update
|
2017-08-16 15:41:59 +02:00
|
|
|
when: apt_src_list_manage and apt_stretch_manage
|
|
|
|
|
|
|
|
|
|
- name: CONFIG stretch backports sources.list
|
|
|
|
|
apt_repository:
|
|
|
|
|
repo: "deb http://httpredir.debian.org/debian/ stretch-{{ item }} main contrib non-free"
|
|
|
|
|
filename: stretch.bpo
|
|
|
|
|
update_cache: no
|
|
|
|
|
with_items:
|
|
|
|
|
- backports
|
2017-08-16 15:44:57 +02:00
|
|
|
notify: aptitude update
|
2017-08-16 15:41:59 +02:00
|
|
|
when: apt_src_list_manage and apt_stretch_manage
|
