Cheat Sheet

Workbench: user management

As an Admin user, use the gear icon on the top right to visit the Users page. From there, use the ‘Add new user’ button to create a new user. Alternatively, visit an existing user with the ‘Show’ button next to the user’s name. Then use the ‘Admin’ tab and click the ‘Setup’ button to activate the user, and create a virtual machine login as well as git repository for them.

CLI setup

ARVADOS_API_HOST=qr1hi.arvadosapi.com
ARVADOS_API_TOKEN=1234567890qwertyuiopasdfghjklzxcvbnm1234567890zzzz

CLI: Create VM

arv virtual_machine create --virtual-machine '{"hostname":"xxxxxxxchangeme.example.com"}'

CLI: Activate user

user_uuid=xxxxxxxchangeme

arv user update --uuid "$user_uuid" --user '{"is_active":true}'

User → VM

Give $user_uuid permission to log in to $vm_uuid as $target_username

user_uuid=xxxxxxxchangeme
vm_uuid=xxxxxxxchangeme
target_username=xxxxxxxchangeme

read -rd $'\000' newlink <<EOF; arv link create --link "$newlink"
{
"tail_uuid":"$user_uuid",
"head_uuid":"$vm_uuid",
"link_class":"permission",
"name":"can_login",
"properties":{"username":"$target_username"}
}
EOF

CLI: User → repo

Give $user_uuid permission to commit to $repo_uuid as $repo_username

user_uuid=xxxxxxxchangeme
repo_uuid=xxxxxxxchangeme
repo_username=xxxxxxxchangeme

read -rd $'\000' newlink <<EOF; arv link create --link "$newlink"
{
"tail_uuid":"$user_uuid",
"head_uuid":"$repo_uuid",
"link_class":"permission",
"name":"can_write",
"properties":{"username":"$repo_username"}
}
EOF

Previous: Copy pipeline from Curoverse cloud Next: Migrating Docker images

The content of this documentation is licensed under the Creative Commons Attribution-Share Alike 3.0 United States licence.
Code samples in this documentation are licensed under the Apache License, Version 2.0.