##// END OF EJS Templates
dev(makefile): added sh shortcut for faster launch of dev env and shell
super-admin -
r5209:2d475c54 default
parent child Browse files
Show More
@@ -136,6 +136,12 b' dev-env:'
136 pip install -e .
136 pip install -e .
137
137
138
138
139 .PHONY: sh
140 ## shortcut for make dev-sh dev-env
141 sh:
142 make dev-sh
143 make dev-env
144
139 .PHONY: dev-srv
145 .PHONY: dev-srv
140 ## run develop server instance, docker exec -it $(docker ps -q --filter 'name=dev-enterprise-ce') /bin/bash
146 ## run develop server instance, docker exec -it $(docker ps -q --filter 'name=dev-enterprise-ce') /bin/bash
141 dev-srv:
147 dev-srv:
General Comments 0
You need to be logged in to leave comments. Login now