Legen Sie hier einen neuen SSH-Key für einen bestehenden Benutzer fest.

'); $pubkey = get_pubkey($handle); } else { $action = 'newuser'; title('Neuer GIT-Benutzer'); output('

Tragen Sie hier einen eindeutigen Namen für den neuen Benutzer fest und hinterlegen Sie einen SSH-Public-Key.

'); } $userprefix = $_SESSION['userinfo']['username'].'-'; $form .= ''; if ($handle) { $form .= ''; } else { $form .= ''; } $form .= '
'.$handle.'
'.$userprefix.'

'; output(html_form('git_newkey', 'save', "action={$action}", $form));