diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:03:40 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:03:40 +0300 |
| commit | 37940ebc8cefc98d804ad08fcb5c982da03557f2 (patch) | |
| tree | a8030b0b306a725b50493833d4f7fa24eb92cfe7 /tools | |
| parent | a0e03e4a8e40d437a9736ba344719ba25f6f4f92 (diff) | |
| download | deheader-37940ebc8cefc98d804ad08fcb5c982da03557f2.tar.gz deheader-37940ebc8cefc98d804ad08fcb5c982da03557f2.tar.bz2 deheader-37940ebc8cefc98d804ad08fcb5c982da03557f2.tar.xz deheader-37940ebc8cefc98d804ad08fcb5c982da03557f2.zip | |
Fix repository update in ci
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 9da7ca6..662a6a5 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -23,7 +23,7 @@ function update_repos { if [ "$DATA" != "" ]; then echo "Detected local runner" - sed -i 's!http://httpredir.debian.org/debian!http://1.10.100.103/debian!' + sed -i 's!http://httpredir.debian.org/debian!http://1.10.100.103/debian!' /etc/apt/sources.list fi } |