equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 platform=${1?platform}; shift |
2 |
|
3 platform=$(basename ${1?platform}) |
|
4 shift |
|
5 |
3 docker run --hostname foo.site -i -t eximtest/$platform "$@" |
6 docker run --hostname foo.site -i -t eximtest/$platform "$@" |