From 2399031c921a93f7b7f467109a05ad3c783ef3ab Mon Sep 17 00:00:00 2001 From: Andrea Dell'Amico Date: Thu, 21 Mar 2019 20:21:29 +0100 Subject: [PATCH] Fix the mono repo key server, and a typo. --- mono/defaults/main.yml | 2 +- mono/tasks/main.yml | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/mono/defaults/main.yml b/mono/defaults/main.yml index a5738abe..f6daeb83 100644 --- a/mono/defaults/main.yml +++ b/mono/defaults/main.yml @@ -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' diff --git a/mono/tasks/main.yml b/mono/tasks/main.yml index 9f09a279..552e1119 100644 --- a/mono/tasks/main.yml +++ b/mono/tasks/main.yml @@ -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: