<% if not @user.full_name.empty? -%> <%= @user.full_name %>, <% else -%> Hi there, <% end -%> Your Arvados shell account has been set up. Please visit the manage account page <% if Rails.configuration.workbench_address %>at <%= Rails.configuration.workbench_address %>/manage_account <% else %><% end %> for connection instructions. Thanks, The Arvados team.