[MERGED] osmo-ci[master]: ansible: install eclipse-titan

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Harald Welte gerrit-no-reply at lists.osmocom.org
Thu Apr 5 19:58:52 UTC 2018


Harald Welte has submitted this change and it was merged.

Change subject: ansible: install eclipse-titan
......................................................................


ansible: install eclipse-titan

Change-Id: I354271b7c573484b7f538a5a4bb29753a950d5f9
---
M ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
1 file changed, 17 insertions(+), 0 deletions(-)

Approvals:
  Harald Welte: Looks good to me, approved; Verified



diff --git a/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml b/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
index 6a7845c..72166ab 100644
--- a/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
+++ b/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
@@ -13,3 +13,20 @@
   git:
     repo: "https://git.osmocom.org/docker-playground"
     dest: "/home/{{ jenkins_user }}/jenkins/docker-playground"
+
+- name: add apt.key
+  apt_key:
+    url: https://download.opensuse.org/repositories/network:/osmocom:/latest/Debian_9.0/Release.key
+
+- name: add apt repository
+  apt_repository:
+    repo: "deb http://download.opensuse.org/repositories/network:/osmocom:/latest/Debian_9.0/ ./"
+    filename: obs_osmocom
+    update_cache: yes
+
+- name: install titan
+  apt:
+    name: eclipse-titan
+    update_cache: yes
+    cache_valid_time: 3600
+

-- 
To view, visit https://gerrit.osmocom.org/7596
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I354271b7c573484b7f538a5a4bb29753a950d5f9
Gerrit-PatchSet: 2
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Owner: lynxis lazus <lynxis at fe80.eu>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>



More information about the gerrit-log mailing list