diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:00:40 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:00:40 +0300 |
| commit | a0e03e4a8e40d437a9736ba344719ba25f6f4f92 (patch) | |
| tree | a89bc4a30e06f62405516e815e4cbac17035da79 /tools | |
| parent | 04795d45bc65a72ddf1657a4ca9988e1b7356165 (diff) | |
| download | deheader-a0e03e4a8e40d437a9736ba344719ba25f6f4f92.tar.gz deheader-a0e03e4a8e40d437a9736ba344719ba25f6f4f92.tar.bz2 deheader-a0e03e4a8e40d437a9736ba344719ba25f6f4f92.tar.xz deheader-a0e03e4a8e40d437a9736ba344719ba25f6f4f92.zip | |
Try to detect local runner and use local mirror with debian repositories
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index fa40737..9da7ca6 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -17,6 +17,16 @@ function do_init { check_error $? } +function update_repos { + export DATA=$(ifconfig|grep 192.168.10.248) + echo "${DATA}" + if [ "$DATA" != "" ]; + then + echo "Detected local runner" + sed -i 's!http://httpredir.debian.org/debian!http://1.10.100.103/debian!' + fi +} + function aptget_update { echo "apt-get update" apt-get update @@ -210,4 +220,5 @@ function run_mplint { run_check_warnings } +update_repos aptget_update |