0) { system_failure('Interner Fehler!'); // FIXME: Hier sollte auf jeden Fall ein Logging angeworfen werden! } return $output; } function refresh_gitolite() { check_env(); git_wrapper('pull'); } function list_repos() { global $config_file, $config_dir; $username = $_SESSION['userinfo']['username']; $userconfig = $config_dir . '/' . $username . '.conf'; DEBUG("using config file ".$userconfig); if (! is_file($userconfig)) { DEBUG("user-config does not exist"); return array(); } $repos = array(); $lines = file($userconfig); $current_repo = NULL; $current_repo_users = array(); foreach ($lines as $line) { DEBUG("LINE: ".$line); $m = array(); if (preg_match('_^\s*repo (\S+)\s*$_', $line, $m) != 0) { if ($current_repo) { $repos[$current_repo] = $current_repo_users; } DEBUG("found repo ".$m[1]); $current_repo = chop($m[1]); $current_repo_users = array(); } else if (preg_match('/^\s*(R|RW|RW\+)\s*=\s*([[:alnum:]][[:alnum:]._-]*)\s*$/', $line, $m) != 0) { DEBUG("found access rule: ".$m[1]." for ".$m[2]); $current_repo_users[chop($m[2])] = chop($m[1]); } } if ($current_repo) { $repos[$current_repo] = $current_repo_users; } DEBUG($repos); return $repos; } function list_users() { global $config_file, $config_dir; $username = $_SESSION['userinfo']['username']; $userconfig = $config_dir . '/' . $username . '.conf'; DEBUG("using config file ".$userconfig); if (! is_file($userconfig)) { DEBUG("user-config does not exist"); return array(); } $lines = file($userconfig); $users = array(); foreach ($lines as $line) { $m = array(); if (preg_match('_# user ([^]]+)_', $line, $m) != 0) { $users[] = chop($m[1]); } if (preg_match('_^\s*repo .*_', $line) != 0) { break; } } DEBUG($users); return $users; } function get_pubkey($handle) { global $key_dir; if (! validate_name($handle)) { return ''; } $keyfile = $key_dir.'/'.$handle.'.pub'; if (! file_exists($keyfile)) { return ''; } return file_get_contents($keyfile); } function newkey($pubkey, $handle) { global $key_dir, $config_dir; $username = $_SESSION['userinfo']['username']; $handle = $username.'-'.$handle; if (! validate_name($handle)) { system_failure("Der eingegebene Name enthält ungültige Zeichen. Bitte nur Buchstaben, Zahlen, Unterstrich, Binderstrich und Punkt benutzen."); } // FIXME: Muss man den SSH-Key auf Plausibilität prüfen? Aus Sicherheitsgründen vermutlich nicht. $keyfile = $key_dir.'/'.$handle.'.pub'; file_put_contents($keyfile, $pubkey); git_wrapper('add '.$keyfile); $userconfig = $config_dir . '/' . $username . '.conf'; DEBUG("using config file ".$userconfig); if (! is_file($userconfig)) { DEBUG("user-config does not exist, creating new one"); file_put_contents($userconfig, '# user '.$handle."\n"); } elseif (in_array($handle, list_users())) { # user ist schon eingetragen, nur neuer Key } else { $content = file_get_contents($userconfig); file_put_contents($userconfig, "# user {$handle}\n".$content); } git_wrapper('add '.$userconfig); git_wrapper('commit --allow-empty -m "added new key for '.$handle.'"'); git_wrapper('push'); } function delete_key($handle) { global $key_dir, $config_dir; $username = $_SESSION['userinfo']['username']; if (! validate_name($handle)) { system_failure("Der eingegebene Name enthält ungültige Zeichen. Bitte nur Buchstaben, Zahlen, Unterstrich, Binderstrich und Punkt benutzen."); } if (!in_array($handle, list_users())) { DEBUG("key {$handle} not in"); DEBUG(list_users()); system_failure("Den angegebenen Key scheint es nicht zu geben"); } // FIXME: Muss man den SSH-Key auf Plausibilität prüfen? Aus Sicherheitsgründen vermutlich nicht. $keyfile = $key_dir.'/'.$handle.'.pub'; if (! file_exists($keyfile)) { system_failure("Der angegebene Schlüssel scheint nicht mehr vorhanden zu sein. Bitte manuelle Korrektur anfordern!"); } git_wrapper('rm '.$keyfile); $userconfig = $config_dir . '/' . $username . '.conf'; DEBUG("using config file ".$userconfig); if (! is_file($userconfig)) { DEBUG("user-config does not exist, wtf?"); system_failure("Es gibt für diesen Benutzer noch keine Konfiguration. Das sollte nicht sein!"); } else { $content = file($userconfig); DEBUG("Old file:"); DEBUG($content); $newcontent = array(); foreach ($content as $line) { if (preg_match('/^# user '.$handle.'$/', $line)) { DEBUG("delete1: ".$line); continue; } if (preg_match('/^\s*(R|RW|RW+)\s*=\s*'.$handle.'\s*$/', $line)) { DEBUG("delete2: ".$line); continue; } $newcontent[] = $line; } DEBUG("Modified file:"); DEBUG($newcontent); file_put_contents($userconfig, implode('', $newcontent)); } git_wrapper('add '.$userconfig); git_wrapper('commit -m "deleted key for '.$handle.'"'); git_wrapper('push'); } function remove_repo_from_array($data, $repo) { DEBUG("Request to remove repo »{$repo}«..."); $inside = false; $outdata = array(); foreach ($data as $line) { $m = array(); if (preg_match('_^\s*repo (\S+)\s*$_', $line, $m) != 0) { $inside = ($m[1] == $repo); } if (! $inside) { $outdata[] = $line; } } DEBUG($outdata); return $outdata; } function repo_exists_globally($repo) { global $config_dir; $files = scandir($config_dir); foreach ($files as $f) { if (is_file(realpath($config_dir.'/'.$f))) { $data = file(realpath($config_dir.'/'.$f)); foreach ($data as $line) { if (preg_match('/^\s*repo '.$repo.'\s*$/', $line) != 0) { return true; } } } } return false; } function delete_repo($repo) { $repos = list_repos(); if (!array_key_exists($repo, $repos)) { system_failure("Ein solches Repository existiert nicht!"); } global $config_dir; $username = $_SESSION['userinfo']['username']; $userconfig = $config_dir . '/' . $username . '.conf'; DEBUG("using config file ".$userconfig); $data = file($userconfig); $data = remove_repo_from_array($data, $repo); file_put_contents($userconfig, implode('', $data)); git_wrapper('add '.$userconfig); git_wrapper('commit --allow-empty -m "deleted repo '.$repo.'"'); git_wrapper('push'); } function save_repo($repo, $permissions) { if (!validate_name($repo)) { system_failure("Der gewählte name entspricht nicht den Konventionen!"); } if (!array_key_exists($repo, list_repos()) && repo_exists_globally($repo)) { system_failure("Der gewählte Name existiert bereits auf diesem Server. Bitte wählen Sie einen spezifischeren Namen."); } global $config_dir; $username = $_SESSION['userinfo']['username']; $userconfig = $config_dir . '/' . $username . '.conf'; DEBUG("using config file ".$userconfig); $data = array(); if (! is_file($userconfig)) { DEBUG("user-config does not exist, creating new one"); } else { $data = file($userconfig); } $repos = list_repos(); if (array_key_exists($repo, $repos)) { $data = remove_repo_from_array($data, $repo); } $data[] = "\n"; $data[] = 'repo '.$repo."\n"; foreach ($permissions as $user => $perm) { $data[] = ' '.$perm.' = '.$user."\n"; } file_put_contents($userconfig, implode('', $data)); git_wrapper('add '.$userconfig); git_wrapper('commit --allow-empty -m "written repo '.$repo.'"'); git_wrapper('push'); }