run
changeset 14 6a83ee58d034
parent 11 a851a0d65537
child 15 b9822060de6b
--- a/run	Mon Jun 15 17:29:46 2015 +0200
+++ b/run	Mon Jun 15 17:30:56 2015 +0200
@@ -1,3 +1,6 @@
 #!/bin/bash
-platform=${1?platform}; shift
+
+platform=$(basename ${1?platform})
+shift
+
 docker run --hostname foo.site -i -t eximtest/$platform "$@"