develop.sh 713 B

12345678910111213141516171819202122
  1. #!/bin/bash
  2. #
  3. # This file starts up a development server, using webpack in development mode.
  4. # It takes no arguments. See README.md for more information.
  5. viz_path="$(readlink -f "$(dirname "$0")")"
  6. (
  7. cd "${viz_path}"
  8. docker build -t dragnn-viz-dev .
  9. )
  10. # Apparently the Webpack dev server doesn't die properly when it gets a sigint.
  11. # So we daemonize it, follow logs, listen for SIGINT, and kill it manually.
  12. set -e
  13. docker run -d --name dragnn-viz-dev \
  14. -v "${viz_path}:/code/src" \
  15. -p 127.0.0.1:9000:9000 \
  16. dragnn-viz-dev
  17. trap "docker kill dragnn-viz-dev && docker rm dragnn-viz-dev" INT
  18. sleep 0.5 # Wait for the new container to start, so we don't echo old logs.
  19. docker logs --follow dragnn-viz-dev