57a56c8c88b7472ebc912f9e9b7672b876fd4243
bernd First strike: list reposito...

bernd authored 12 years ago

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

bernd authored 12 years ago

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

bernd authored 12 years ago

3) 
4) include('git.php');
5) require_role(ROLE_SYSTEMUSER);
6) 
bernd GIT-URL eingebaut

bernd authored 12 years ago

7) $section = 'git_git';
bernd First draft of gitolite-mod...

bernd authored 12 years ago

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

bernd authored 12 years ago

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

bernd authored 12 years ago

10) 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>");
11) 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>");
12) 
13) $repos = list_repos();
14) $users = list_users();
15) 
16) if (count($repos) == 0) {
17)   output("<p><em>bisher haben Sie keine GIT-Repositories</em></p>");
18) } else {
19)   output("<h3>Ihre GIT-Repositories</h3>"); 
20) }
21) 
bernd Setze Berechtigung für gitw...

bernd authored 12 years ago

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

bernd authored 12 years ago

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

bernd authored 12 years ago

25)   $public = isset($settings['users']['gitweb']) && $settings['users']['gitweb'] == 'R';
26)   $public_string = '';
27)   if ($public) {
28)     $public_url = 'http://git.schokokeks.org/'.$repo.'.git';
bernd GIT-URL eingebaut

bernd authored 12 years ago

29)     $git_url = 'git://git.schokokeks.org/'.$repo.'.git';
30)     $public_string = '(Öffentlicher Lesezugriff über <a href="'.$public_url.'">'.$public_url.'</a> und '.$git_url.')';
bernd Bessere Handhabung öffentli...

bernd authored 12 years ago

31)   }
bernd Sortiere Repositories und U...

bernd authored 12 years ago

32)   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 />push-Adresse: {$url} {$public_string}</p><ul>");
bernd Setze Berechtigung für gitw...

bernd authored 12 years ago

33)   foreach ($settings['users'] as $user => $rights) {
bernd GIT-URL eingebaut

bernd authored 12 years ago

34)     if ($user == 'gitweb' || $user == 'daemon') {
bernd Bessere Handhabung öffentli...

bernd authored 12 years ago

35)       continue;
36)     }