# HG changeset patch # User Heiko Schlittermann (JUMPER) # Date 1429992790 -7200 # Node ID 519e3c376632a2e1a36454b0b1e975d61f4d1db7 # Parent d13b960ce6549c5f3bd46e87d811d8dc1f945d26 Make enter executable diff -r d13b960ce654 -r 519e3c376632 enter --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/enter Sat Apr 25 22:13:10 2015 +0200 @@ -0,0 +1,3 @@ +#!/bin/bash +platform=${1?platform} +docker run --entrypoint /bin/bash -i -t eximtest/$platform