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 sso server:     https://localhost:9901"
   8 docker run -d -i -t -p 9901:443 -name sso_server arvados/sso
   9
  10 echo "Starting api server:     https://localhost:9900"
  11 docker run -d -i -t -p 9900:443 -name api_server -link sso_server:sso arvados/api
  12
  13 echo "Starting workbench server:     http://localhost:9899"
  14 docker run -d -i -t -p 9899:80 -link api_server:api arvados/workbench
  15
  16 echo "Starting keep server:        http://localhost:25107"
  17
  18 # Mount a keep volume if we don't already have one
  19 keepvolume=""
  20 for mountpoint in $(cut -d ' ' -f 2 /proc/mounts)
  21 do
  22     if [ -d "$mountpoint/keep" ]
  23     then
  24         keepvolume=$mountpoint
  25     fi
  26 done
  27
  28 if [ ! "$keepvolume" ]
  29 then
  30     keepvolume=$(mktemp -d)
  31     echo "mounting 512M tmpfs keep volume in $keepvolume"
  32     sudo mount -t tmpfs -o size=512M tmpfs $keepvolume
  33     mkdir $keepvolume/keep
  34 fi
  35
  36 docker run -d -i -t -p 25107:25107 -v $keepvolume:/dev/keep-0 arvados/warehouse