diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-15 21:53:57 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-15 21:53:57 +0200 |
| commit | f7072ebace2099ef69ac2b41e613e3ef505b3cd8 (patch) | |
| tree | f478d7abe9b9978948ecbb98b36b29574c2f27e0 /roles/apt_ppa | |
| parent | factor out apt repository setup to apt_repo (diff) | |
| download | infra-ansible-f7072ebace2099ef69ac2b41e613e3ef505b3cd8.tar.gz infra-ansible-f7072ebace2099ef69ac2b41e613e3ef505b3cd8.zip | |
apt_ppa -> ppa
Diffstat (limited to 'roles/apt_ppa')
| -rw-r--r-- | roles/apt_ppa/README.md | 3 | ||||
| -rw-r--r-- | roles/apt_ppa/tasks/main.yml | 8 |
2 files changed, 0 insertions, 11 deletions
diff --git a/roles/apt_ppa/README.md b/roles/apt_ppa/README.md deleted file mode 100644 index f7ce92c..0000000 --- a/roles/apt_ppa/README.md +++ /dev/null @@ -1,3 +0,0 @@ -This role is used to enable an Ubuntu PPA repository; can be used on Debian as -well. It downloads the repository key and adds the repository in -/etc/apt/sources.list.d. diff --git a/roles/apt_ppa/tasks/main.yml b/roles/apt_ppa/tasks/main.yml deleted file mode 100644 index 01d6809..0000000 --- a/roles/apt_ppa/tasks/main.yml +++ /dev/null @@ -1,8 +0,0 @@ -- name: Set up PPA repository - ansible.builtin.include_role: - name: apt_repo - vars: - apt_repo_name: '{{ ppa_name }}' - 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_distro: '{{ ppa_distro }}' |