diff --git a/Makefile b/Makefile index 5ee1504..46715d1 100644 --- a/Makefile +++ b/Makefile @@ -17,7 +17,10 @@ image-prod: ## Build Docker image for production scripts/docker.bash build . -f Dockerfile.prod -t riju:prod --build-arg "UID=$(UID)" .PHONY: docker -docker: image-dev ## Run shell with source code and deps inside Docker +docker: image-dev docker-nobuild ## Run shell with source code and deps inside Docker + +.PHONY: docker +docker-nobuild: ## Same as 'make docker', but don't rebuild image scripts/docker.bash run -it --rm -v "$(PWD):/home/docker/src" -p 6119:6119 -p 6120:6120 -h riju riju bash .PHONY: deploy