#!/bin/bash set -x if test -f /root/finished_arvados_setup ; then exit fi . /etc/profile.d/rvm.sh export ARVADOS_API_HOST=api export ARVADOS_API_HOST_INSECURE=yes export ARVADOS_API_TOKEN=@@API_SUPERUSER_SECRET@@ export HOME=/root # Wait for API server to come up. while ! arv user current ; do sleep 1 ; done # Arvados repository object all_users_group_uuid="@@API_HOSTNAME@@-j7d0g-fffffffffffffff" arv user update --uuid @@API_HOSTNAME@@-tpzed-000000000000000 --user '{"username":"root"}' repo_uuid=`arv --format=uuid repository create --repository '{"owner_uuid":"@@API_HOSTNAME@@-tpzed-000000000000000", "name":"arvados"}'` echo "Arvados repository uuid is $repo_uuid" read -rd $'\000' newlink < /tmp/keep_service.list grep -q keep_server_0 /tmp/keep_service.list if [[ "$?" != "0" ]]; then arv keep_service create --keep-service "$(cat /root/keep_server_0.json)" fi grep -q keep_server_1 /tmp/keep_service.list if [[ "$?" != "0" ]]; then arv keep_service create --keep-service "$(cat /root/keep_server_1.json)" fi grep -q keep_proxy /tmp/keep_service.list if [[ "$?" != "0" ]]; then arv keep_service create --keep-service "$(cat /root/keep_proxy.json)" fi # User repository object # user_uuid=`arv --format=uuid user current` # repo_uuid=`arv --format=uuid repository create --repository '{"name":"@@ARVADOS_USER_NAME@@","fetch_url":"git@api.dev.arvados:@@ARVADOS_USER_NAME@@.git","push_url":"git@api.dev.arvados:@@ARVADOS_USER_NAME@@.git"}'` # echo "User repository uuid is $repo_uuid" # read -rd $'\000' newlink <