Add the gitlab mirrors.
[xonotic/xonotic.git] / misc / tools / all / config.subr
1 devsite_url="http://dev.xonotic.org/"
2
3 allrepos()
4 {
5         "$@" .                             xonotic.git                  master         ""
6         "$@" data/xonotic-data.pk3dir      xonotic-data.pk3dir.git      master         ""
7         "$@" data/xonotic-music.pk3dir     xonotic-music.pk3dir.git     master         ""
8         "$@" data/xonotic-nexcompat.pk3dir xonotic-nexcompat.pk3dir.git master         "no"
9         "$@" darkplaces                    darkplaces.git               div0-stable    "svn"
10         "$@" netradiant                    netradiant.git               master         ""
11         "$@" div0-gittools                 div0-gittools.git            master         "no"
12         "$@" d0_blind_id                   d0_blind_id.git              master         ""
13         "$@" data/xonotic-maps.pk3dir      xonotic-maps.pk3dir.git      master         ""
14         "$@" mediasource                   mediasource.git              master         "no"
15         "$@" gmqcc                         gmqcc.git                    master         ""
16         "$@" xonstat                       xonstat.git                  master         "no"
17         "$@" xonstatdb                     xonstatdb.git                master         "no"
18 }
19
20 allmirrors()
21 {
22         "$@" git  ''   git://git.xonotic.org/xonotic/      ''
23         "$@" http ''   http://git.xonotic.org/xonotic/     ''
24         "$@" ssh  ''   ssh://xonotic@git.xonotic.org/      ''
25
26         "$@" git  us   git://us.git.xonotic.org/xonotic/   '*2/3'
27         "$@" http us   http://us.git.xonotic.org/xonotic/  '*2/3'
28
29         "$@" git  de   git://de.git.xonotic.org/xonotic/   ''
30         "$@" http de   http://de.git.xonotic.org/xonotic/  ''
31
32         "$@" git  nl   git://nl.git.xonotic.org/xonotic/   '*2'
33         "$@" http nl   http://nl.git.xonotic.org/xonotic/  '*2'
34
35         "$@" ssh  push ssh://xonotic@push.git.xonotic.org/ ''
36
37         "$@" http lab  https://gitlab.com/xonotic/         ''
38         "$@" ssh  lab  ssh://git@gitlab.com/xonotic/       ''
39 }
40
41 have_time=true
42 measure_time()
43 {
44         if $have_time; then
45                 time -p "$@"
46         else
47                 "$@"
48         fi
49 }
50 if { measure_time sh -c 'true'; } 2>&1 >/dev/null | grep '^user ' >/dev/null; then
51         msg "Timing via the time utility works."
52 else
53         have_time=false
54         msg "Timing not supported."
55 fi