Fix the mono repo key server, and a typo.

This commit is contained in:
Andrea Dell'Amico 2019-03-21 20:21:29 +01:00
parent a96cda6726
commit 2399031c92
2 changed files with 2 additions and 3 deletions

View File

@ -1,5 +1,5 @@
---
mono_repo_server: 'hkp://keyserver.ubuntu.com:80'
mono_repo_server: 'keyserver.ubuntu.com'
mono_deb_repo_key_id: 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
mono_deb_repo_url: 'deb https://download.mono-project.com/repo/{{ ansible_distribution | lower }} stable-{{ ansible_distribution_release }} main'

View File

@ -10,8 +10,7 @@
- name: Install the deb Mono repository key
apt_key:
keyserver: {{ mono_repo_server }}
url: {{ mono_repo_server }}
id: {[ mono_deb_repo_key_id }}
id: {{ mono_deb_repo_key_id }}
- name: Install the deb Mono repository
apt_repository: