$ cat >~/.config/arvados/settings.conf <<EOF
ARVADOS_API_HOST=$ARVADOS_API_HOST
ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN
EOF
$ echo "export ARVADOS_API_HOST=$ARVADOS_API_HOST" >> ~/.bashrc
$ echo "export ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN" >> ~/.bashrc