enter
changeset 15 b9822060de6b
parent 9 519e3c376632
--- a/enter	Mon Jun 15 17:30:56 2015 +0200
+++ b/enter	Fri Aug 21 11:57:59 2015 +0200
@@ -1,3 +1,5 @@
 #!/bin/bash
-platform=${1?platform}
+
+platform=$(basename ${1?platform})
+shift
 docker run --entrypoint /bin/bash -i -t eximtest/$platform