run
changeset 15 b9822060de6b
parent 14 6a83ee58d034
child 21 9d572c2d6803
--- a/run	Mon Jun 15 17:30:56 2015 +0200
+++ b/run	Fri Aug 21 11:57:59 2015 +0200
@@ -3,4 +3,5 @@
 platform=$(basename ${1?platform})
 shift
 
-docker run --hostname foo.site -i -t eximtest/$platform "$@"
+docker run --hostname foo.site -i -t eximtest/$platform "$@" \
+    |& tee log.$platform