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         "$@" data/xonotic-xoncompat.pk3dir xonotic-xoncompat.pk3dir.git main           "no"
  11         "$@" darkplaces                    darkplaces.git               master         ""
  12         "$@" netradiant                    netradiant.git               master         ""
  13         "$@" div0-gittools                 div0-gittools.git            master         "no"
  14         "$@" d0_blind_id                   d0_blind_id.git              master         ""
  15         "$@" data/xonotic-maps.pk3dir      xonotic-maps.pk3dir.git      master         ""
  16         "$@" mediasource                   mediasource.git              master         "no"
  17         "$@" gmqcc                         gmqcc.git                    main           ""
  18         "$@" xonstat                       xonstat.git                  master         "no"
  19         "$@" xonstatdb                     xonstatdb.git                master         "no"
  20         "$@" xonotic.org                   xonotic.org.git              master         "no"
  21         "$@" wiki                          xonotic.wiki.git             master         "no"
  22 }
  23
  24 allmirrors()
  25 {
  26         # Legacy git URLs.
  27         "$@" git  ''   git://git.xonotic.org/xonotic/      ''
  28         "$@" http ''   http://git.xonotic.org/xonotic/     ''
  29         "$@" ssh  ''   ssh://xonotic@git.xonotic.org/      ''
  30         "$@" git  ''   git://nl.git.xonotic.org/xonotic/   ''
  31         "$@" http ''   http://nl.git.xonotic.org/xonotic/  ''
  32         "$@" git  ''   git://us.git.xonotic.org/xonotic/   ''
  33         "$@" http ''   http://us.git.xonotic.org/xonotic/  ''
  34
  35         # Gitlab host (divVerent).
  36         "$@" http gitlab   https://gitlab.com/xonotic/     ''
  37
  38         # German host - disabled (divVerent).
  39         "$@" git  ''   git://de.git.xonotic.org/xonotic/   ''
  40         "$@" http ''   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