diff --git a/scripts/dev/ci/travis_install.sh b/scripts/dev/ci/travis_install.sh index cf86991ed..f5884d4ac 100644 --- a/scripts/dev/ci/travis_install.sh +++ b/scripts/dev/ci/travis_install.sh @@ -1,3 +1,4 @@ +#!/bin/bash # vim: ft=sh fileencoding=utf-8 sts=4 sw=4 et: # Copyright 2016-2017 Florian Bruhin (The Compiler) @@ -42,17 +43,6 @@ travis_retry() { return $result } -apt_install() { - sudo tee /etc/apt/sources.list <