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-17 15:45:11 +02:00
|
|
|
---
|
|
|
|
|
# tasks file for repositories
|
|
|
|
|
|
|
|
|
|
# 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
|
|
|
|
|
notify: aptitude update
|
|
|
|
|
when: apt_src_list_manage and apt_stretch_manage
|
|
|
|
|
|
2017-09-12 09:27:34 +02:00
|
|
|
- name: CONFIG stretch security sources.list
|
|
|
|
|
apt_repository:
|
|
|
|
|
repo: "{{ item }} http://httpredir.debian.org/debian-security/ stretch/updates main contrib non-free"
|
|
|
|
|
filename: stretch.security
|
|
|
|
|
update_cache: no
|
|
|
|
|
with_items:
|
|
|
|
|
- deb
|
|
|
|
|
- deb-src
|
|
|
|
|
notify: aptitude update
|
|
|
|
|
when: apt_src_list_manage and apt_stretch_manage
|
|
|
|
|
|
2017-08-17 15:45:11 +02:00
|
|
|
- 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
|
|
|
|
|
notify: aptitude update
|
|
|
|
|
when: apt_src_list_manage and apt_stretch_manage
|
|
|
|
|
# }}}
|
2017-08-22 10:02:44 +02:00
|
|
|
|
|
|
|
|
## Purge sources.list file
|
|
|
|
|
- name: CONFIG remove sources.list file
|
|
|
|
|
file:
|
|
|
|
|
path: /etc/apt/sources.list
|
|
|
|
|
state: absent
|
|
|
|
|
notify: aptitude update
|
|
|
|
|
when: apt_purge_src_list_file
|
