diff --git a/dotfiles/docker.sh b/dotfiles/docker.sh index cdd1775e9cee6db90fd95c5fc978d4eddeefa81c..5822deb8ccc06899cf40cd0e1d4f31f3667b1f1a 100644 --- a/dotfiles/docker.sh +++ b/dotfiles/docker.sh @@ -19,7 +19,7 @@ function dockbuild(){ # ToDo Add extra parameters by arg # To share docker --volume /var/run/docker.sock:/var/run/docker.sock:ro # To share video (usb-cam) --volume /dev/video0:/dev/video0 -function rundock() { +function dockrun() { # Check if the image exist if [[ "$(docker images -q devenv:$1 2> /dev/null)" == "" ]]; then # build the image