server run

Author: xavgru12

.github/workflows/ci.yml

@@ -14,5 +14,5 @@ jobs:
       - name: build Docker
         run: ./build-docker.sh 
       - name: runqemu swift hello world
-        run: ./run-docker.sh ./execute.exp 
+        run: ./server-run-docker.sh ./execute.exp 
 

server-run-docker.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+#
+. ./env.sh
+
+if [[ $PWD != $HOME* && $(whoami) != "root" ]]; then
+    echo "Error: Current directory is outside $HOME"
+    exit 1
+fi
+
+# run the docker image
+docker run -i --rm \
+  --volume ${HOME}:${HOME} \
+  --device /dev/net/tun \
+  --cap-add=NET_ADMIN \
+    "${DOCKER_IMAGE_TAG}" \
+    $1