diff options
| author | mo khan <mo.khan@gmail.com> | 2020-03-03 10:02:07 -0700 |
|---|---|---|
| committer | mo khan <mo.khan@gmail.com> | 2020-03-03 10:02:07 -0700 |
| commit | 0cacc19704ed643f77d579ce3e2bb089b24f3763 (patch) | |
| tree | 8ca0ea9ad8647e800a29299862840a8a28d6e903 | |
| parent | f65831564ee32ea5cc623200afb0467a1067d81d (diff) | |
Fix docker-shell script
| -rwxr-xr-x | bin/docker-shell | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/docker-shell b/bin/docker-shell index 107f6b1..24e83af 100755 --- a/bin/docker-shell +++ b/bin/docker-shell @@ -6,4 +6,9 @@ cd "$(dirname "$0")/.." IMAGE_NAME=${IMAGE_NAME:-$(basename "$PWD"):latest} -docker run --rm -it --entrypoint='' "$1" "$IMAGE_NAME" /bin/bash -l +options="$1" +if [ -z "$options" ]; then + docker run --rm -it --entrypoint='' "$IMAGE_NAME" /bin/bash -l +else + docker run --rm -it --entrypoint='' "$options" "$IMAGE_NAME" /bin/bash -l +fi |
