diff options
| author | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-07 22:07:11 +0200 |
|---|---|---|
| committer | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-07 22:07:11 +0200 |
| commit | fa6e14dbeb533bb543d6fc4d61578b22ad7de28d (patch) | |
| tree | 0be35815066a77230d99f022eaacf87455792ae9 | |
| parent | New script for changing owners (diff) | |
| download | joe-scripts-fa6e14dbeb533bb543d6fc4d61578b22ad7de28d.tar.gz joe-scripts-fa6e14dbeb533bb543d6fc4d61578b22ad7de28d.tar.bz2 joe-scripts-fa6e14dbeb533bb543d6fc4d61578b22ad7de28d.tar.xz joe-scripts-fa6e14dbeb533bb543d6fc4d61578b22ad7de28d.tar.zst joe-scripts-fa6e14dbeb533bb543d6fc4d61578b22ad7de28d.zip | |
Test
| -rwxr-xr-x | src/update-gitjoe.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/update-gitjoe.pl b/src/update-gitjoe.pl index ff2c760..473d9e8 100755 --- a/src/update-gitjoe.pl +++ b/src/update-gitjoe.pl @@ -14,6 +14,7 @@ sub get_repos_index { while (my $dir = readdir(DIR)) { next if ($dir =~ m/^\./); next if (!(-e $home_dir . $dir . '/git-daemon-export-ok')); + print $dir; $repos[$i] = $dir; $i += 1; } |