2fc4b43d79299a6527b40039fdd75b74253a8c7e
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 First draft of gitolite-mod...

bernd authored 12 years ago

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

bernd authored 12 years ago

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

bernd authored 12 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 12 years ago

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

bernd authored 12 years ago

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

bernd authored 12 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)   }
bernd Sortiere Repositories und U...

bernd authored 12 years ago

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

bernd authored 12 years ago

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

bernd authored 12 years ago

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