##// 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 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 85 .PHONY: dev-srv
79 86 ## run develop server instance, docker exec -it $(docker ps -q --filter 'name=dev-enterprise-ce') /bin/bash
80 87 dev-srv:
General Comments 0
You need to be logged in to leave comments. Login now