b6b0e8e5edea85b245e7dcab4b505367b25c9af0
bernd First strike: list reposito...

bernd authored 13 years ago

1) <?php
bernd First draft of gitolite-mod...

bernd authored 13 years ago

2) require_once('inc/icons.php');
bernd First strike: list reposito...

bernd authored 13 years ago

3) 
4) include('git.php');
5) require_role(ROLE_SYSTEMUSER);
6) 
bernd First draft of gitolite-mod...

bernd authored 13 years ago

7) title("GIT-Zugänge");
bernd First strike: list reposito...

bernd authored 13 years ago

8) 
bernd First draft of gitolite-mod...

bernd authored 13 years ago

9) output("<p>Das verteilte Versionskontrollsystem <a href=\"http://www.git-scm.org\">GIT</a> ist ein populäres Werkzeug um Programmcode zu verwalten. Mit dieser Oberfläche können Sie GIT-repositories erstellen und den Zugriff für mehrere Benutzer festlegen.</p>");
10) output("<p>Wir verwenden das beliebte System »gitolite« um diese Funktionalität anzubieten. Gitolite erlaubt bei Bedarf weitaus feingliedrigere Kontrolle als dieser Webinterface. Fragen Sie bitte den Support, wenn Sie Interesse daran haben zusätzliche Berechtigungen einzurichten.</p>");
11) 
12) $repos = list_repos();
13) $users = list_users();
14) 
15) if (count($repos) == 0) {
16)   output("<p><em>bisher haben Sie keine GIT-Repositories</em></p>");
17) } else {
18)   output("<h3>Ihre GIT-Repositories</h3>"); 
19) }
20) 
bernd Setze Berechtigung für gitw...

bernd authored 13 years ago

21) foreach ($repos as $repo => $settings) {
22)   $description = $settings['description'] ? '<br /><em>"'.$settings['description'].'"</em>' : '';
bernd show URL

bernd authored 13 years ago

23)   $url = get_git_url($repo);
bernd Bessere Handhabung öffentli...

bernd authored 13 years ago

24)   $public = isset($settings['users']['gitweb']) && $settings['users']['gitweb'] == 'R';
25)   $public_string = '';
26)   if ($public) {
27)     $public_url = 'http://git.schokokeks.org/'.$repo.'.git';
28)     $public_string = '(Öffentlich abrufbar über <a href="'.$public_url.'">'.$public_url.'</a>)';
29)   }
30)   output("<div><p><strong>{$repo}</strong> ".internal_link('edit', icon_edit('Zugriffsrechte bearbeiten'), 'repo='.$repo)." ".internal_link('delete', icon_delete('Repository löschen'), 'repo='.$repo)."{$description}<br />{$url} {$public_string}</p><ul>");
bernd Setze Berechtigung für gitw...

bernd authored 13 years ago

31)   foreach ($settings['users'] as $user => $rights) {
bernd Bessere Handhabung öffentli...

bernd authored 13 years ago

32)     if ($user == 'gitweb') {
33)       continue;
34)     }