diff options
| author | Egor Tensin <egor@tensin.name> | 2024-03-18 09:57:43 +0100 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2024-03-18 10:04:46 +0100 |
| commit | ce47b0d808da622294cee92107564f8a1ae94c1b (patch) | |
| tree | c4ae4350ac88a386bb0236013572ee46bb868305 /roles/ppa | |
| parent | apt_repo: apt_repo_distro -> apt_repo_codename (diff) | |
| download | infra-ansible-ce47b0d808da622294cee92107564f8a1ae94c1b.tar.gz infra-ansible-ce47b0d808da622294cee92107564f8a1ae94c1b.zip | |
apt_repo: append distribution by default
Diffstat (limited to '')
| -rw-r--r-- | roles/ppa/tasks/main.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/roles/ppa/tasks/main.yml b/roles/ppa/tasks/main.yml index a3c3312..fbe12c0 100644 --- a/roles/ppa/tasks/main.yml +++ b/roles/ppa/tasks/main.yml @@ -24,3 +24,5 @@ apt_repo_key_url: 'https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x{{ ppa_key }}' apt_repo_url: 'https://ppa.launchpadcontent.net/{{ ppa_owner }}/{{ ppa_name }}/ubuntu' apt_repo_codename: '{{ ppa_distro }}' + # All PPA repositories are Ubuntu repositories, even though they might be used on Debian: + apt_repo_append_distro: false |