From 7e3fc42b32e37a700fa6f3a83f70d8bbfe1bdc58 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Tue, 21 Apr 2020 00:40:26 +0100
Subject: [PATCH] [Jenkins] add launch-jenkins.sh

---
 docker/launch-jenkins.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 docker/launch-jenkins.sh

diff --git a/docker/launch-jenkins.sh b/docker/launch-jenkins.sh
new file mode 100644
index 000000000..11a1f70f2
--- /dev/null
+++ b/docker/launch-jenkins.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+docker build -t finn_jenkins -f Dockerfile.jenkins .
+docker run -p 8080:8080 -p 50000:50000 -v /var/run/docker.sock:/var/run/docker.sock -v jenkins_home:/var/jenkins_home finn_jenkins
-- 
GitLab