scripts/configure-arv

   1 #!/bin/sh
   2 echo "$*" | sed 's/.*ARVADOS_API_TOKEN=\([^ ]*\).*/\1/' > API_TOKEN
   3 echo "$*" | sed 's/.*ARVADOS_API_HOST=\([^ ]*\).*/\1/' > API_HOST
   4 chmod og-rw API_HOST API_TOKEN