diff examples/docker/run.sh @ 162:1c99b6b9766b

Add example plugin conversion in the form of a Docker file
author Chris Cannam <cannam@all-day-breakfast.com>
date Fri, 16 Jun 2017 11:44:15 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/docker/run.sh	Fri Jun 16 11:44:15 2017 +0100
@@ -0,0 +1,26 @@
+#!/bin/bash
+
+set -eu
+
+dockerfile=Dockerfile
+
+if [ ! -f "$dockerfile" ]; then
+    echo "Run this script from the directory with the Dockerfile in it"
+fi
+
+dockertag="piper-audio/piper-vamp-js-example"
+
+sudo docker build -t "$dockertag" -f "$dockerfile" "."
+
+#outdir="$dockerdir/output"
+#mkdir -p "$outdir"
+#
+#container=$(sudo docker create "$dockertag")
+#sudo docker cp "$container":output.tar "$outdir"
+#sudo docker rm "$container"
+#
+#( cd "$outdir" ; tar xf output.tar && rm -f output.tar )
+#
+#echo
+#echo "Done, output directory contains:"
+#ls -ltr "$outdir"