run
changeset 11 a851a0d65537
child 14 6a83ee58d034
equal deleted inserted replaced
10:3e3fbd0cc16f 11:a851a0d65537
       
     1 #!/bin/bash
       
     2 platform=${1?platform}; shift
       
     3 docker run --hostname foo.site -i -t eximtest/$platform "$@"