build: added dockerfiles for linux ci to deployment directory

2017-10-10 17:47:35 +02:00
parent 2610783d89
commit 896fbf09b6
12 changed files with 452 additions and 0 deletions
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+DIR="$( cd "$( dirname "$0" )" && pwd )"
+
+xhost + > /dev/null
+if docker ps -a | grep sourcetrail > /dev/null
+then
+	nvidia-docker start -i sourcetrail_dev
+else
+	./createImage.sh
+fi
+xhost - > /dev/null