diff options
| author | JozanLeClerc <bousset.rudy@gmail.com> | 2021-12-24 16:54:03 +0100 |
|---|---|---|
| committer | JozanLeClerc <bousset.rudy@gmail.com> | 2021-12-24 16:54:03 +0100 |
| commit | 28127ffa868e96743debdee15903d5516d0c753e (patch) | |
| tree | 9ffd42b02e3b6bb975b78f98e887843cff2b7598 | |
| parent | URL update for repos (diff) | |
| download | joe-scripts-28127ffa868e96743debdee15903d5516d0c753e.tar.gz joe-scripts-28127ffa868e96743debdee15903d5516d0c753e.tar.bz2 joe-scripts-28127ffa868e96743debdee15903d5516d0c753e.tar.xz joe-scripts-28127ffa868e96743debdee15903d5516d0c753e.tar.zst joe-scripts-28127ffa868e96743debdee15903d5516d0c753e.zip | |
Skipping cub3d for it is too heavy and not getting any updates
| -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 bb668b2..8fd17b4 100755 --- a/src/update/gitjoe.pl +++ b/src/update/gitjoe.pl @@ -18,6 +18,7 @@ sub get_repos_index { my $i = 0; while (my $dir = readdir(DIR)) { next if ($dir =~ m/^\./); + next if ($dir =~ m/42-cub3d.git/); next if (!(-e $home_dir . $dir . '/git-daemon-export-ok')); $repos[$i] = $dir; $i += 1; |