3 USER_NAME="@@ARVADOS_USER_NAME@@"
5 useradd $USER_NAME -s /bin/bash
6 mkdir /home/$USER_NAME/.ssh -p
9 mkdir -p /home/$USER_NAME/.config/arvados;
10 echo "ARVADOS_API_HOST=api" >> /home/$USER_NAME/.config/arvados/settings.conf
11 echo "ARVADOS_API_HOST_INSECURE=yes" >> /home/$USER_NAME/.config/arvados/settings.conf
12 echo "ARVADOS_API_TOKEN=$(cat /tmp/superuser_token)" >> /home/$USER_NAME/.config/arvados/settings.conf
13 chmod 600 /home/$USER_NAME/.config/arvados/settings.conf
15 chown $USER_NAME:$USER_NAME /home/$USER_NAME -R
17 rm -f /tmp/superuser_token