diff --git a/Makefile b/Makefile --- a/Makefile +++ b/Makefile @@ -136,6 +136,12 @@ dev-env: pip install -e . +.PHONY: sh +## shortcut for make dev-sh dev-env +sh: + make dev-sh + make dev-env + .PHONY: dev-srv ## run develop server instance, docker exec -it $(docker ps -q --filter 'name=dev-enterprise-ce') /bin/bash dev-srv: