diff --git a/packaging/Makefile.inc b/packaging/Makefile.inc index e2fb681c6..38ea19588 100644 --- a/packaging/Makefile.inc +++ b/packaging/Makefile.inc @@ -52,12 +52,12 @@ deploy-rpm: ssh $(DEPLOY_USER)@$(DEPLOY_HOST) createrepo $(DEPLOY_PATH)/../packages deploy-docker deploy-docker-dev: - docker tag -f $(DOCKER_IMAGE):$(GIT_BRANCH) $(DOCKER_REGISTRY)/$(DOCKER_IMAGE):$(GIT_BRANCH) + docker tag $(DOCKER_IMAGE):$(GIT_BRANCH) $(DOCKER_REGISTRY)/$(DOCKER_IMAGE):$(GIT_BRANCH) docker push $(DOCKER_REGISTRY)/$(DOCKER_IMAGE):$(GIT_BRANCH) # Docker targets run-docker-dev: docker-dev - docker run -it -p 80:80 -p 443:443 -p 1234:1234 --privileged --security-opt seccomp:unconfined -v "$(PWD):/villas" $(DOCKER_IMAGE)-dev:$(GIT_BRANCH) + docker run -it -p 80:80 -p 443:443 -p 1234:1234 -p 12000:12000/udp -p 12001:12001/udp --privileged --security-opt seccomp:unconfined -v "$(PWD):/villas" $(DOCKER_IMAGE)-dev:$(GIT_BRANCH) docker-dev: docker pull fedora:25