##// END OF EJS Templates
dev(makefile): added sh shortcut for faster launch of dev env and shell
super-admin -
r1180:2d1f71bc default
parent child Browse files
Show More
@@ -75,6 +75,13 b' dev-env:'
75 pip install -e .
75 pip install -e .
76
76
77
77
78 .PHONY: sh
79 ## shortcut for make dev-sh dev-env
80 sh:
81 make dev-sh
82 make dev-env
83
84
78 .PHONY: dev-srv
85 .PHONY: dev-srv
79 ## run develop server instance, docker exec -it $(docker ps -q --filter 'name=dev-enterprise-ce') /bin/bash
86 ## run develop server instance, docker exec -it $(docker ps -q --filter 'name=dev-enterprise-ce') /bin/bash
80 dev-srv:
87 dev-srv:
General Comments 0
You need to be logged in to leave comments. Login now