Advertisement
Guest User

Untitled

a guest
Jun 18th, 2019
85
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.51 KB | None | 0 0
  1. default: help
  2.  
  3. help:
  4. @echo "Usage:"
  5. @echo " make [command]"
  6. @echo
  7. @echo "Available commands:"
  8. @grep -v '^_' Makefile | grep '^[^#[:space:]].*:' | grep -v '^default' | sed 's/:\(.*\)//' | xargs -n 1 echo ' -'
  9. @echo
  10.  
  11. stop-dev:
  12. docker kill php-dev-runner || true
  13. docker rm php-dev-runner || true
  14.  
  15. up-dev: stop-dev
  16. docker run -d -t --name php-dev-runner -v $$PWD:$$PWD -p 0.0.0.0:8083:8083 -w $$PWD thecodingmachine/php:7.3-v2-cli -- php -S 0.0.0.0:8083 -t public/
  17.  
  18.  
  19. shell:
  20. docker exec -it php-dev-runner bash
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement