From 470e35909c4ae17ddff20dd09ce6f5d205dc33ee Mon Sep 17 00:00:00 2001 From: RhodeCode Admin Date: Tue, 28 Nov 2023 09:41:32 +0100 Subject: [PATCH] dev(makefile): added sh shortcut for faster launch of dev env and shell --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index 86362b65..fc32eccb 100644 --- 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: