diff --git a/docker/launch-jenkins.sh b/docker/launch-jenkins.sh new file mode 100644 index 0000000000000000000000000000000000000000..11a1f70f2aceb73943349b87f97462a172a19b95 --- /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