Commit 6291407f authored by nimrod's avatar nimrod
Browse files

If the image name isn't specified, use the same name as created by docker Build.

parent 96f057af

Documents/bin/_docker-dev

+5 −0
Changes for Documents/bin/_docker-dev: 5 added lines, 0 removed lines.
Original line number Diff line number Diff line 
#!/bin/sh

set -eu

if [ "$#" -eq '0' ]

then

    exec docker run --rm -Pitv "$PWD:/volume" "$(basename "$PWD" | awk "{print tolower(\$0)}" )"

else

    exec docker run --rm -Pitv "$PWD:/volume" "$@"

fi