1 <% if not @user.full_name.empty? -%>
2 <%= @user.full_name %>,
7 Your Arvados shell account has been set up. Please visit the manage account page <% if Rails.configuration.workbench_address %>at
9 <%= Rails.configuration.workbench_address %>/manage_account <% else %><% end %>
11 for connection instructions.