docker/run.sh

   1 #!/bin/sh
   2
   3
   4 echo "Starting documentation server: http://localhost:9898"
   5 docker run -d -i -t -p 9898:80 arvados/docserver
   6
   7 echo "Starting workbench server:     http://localhost:9899"
   8 docker run -d -i -t -p 9899:80 arvados/workbench