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