#!/bin/bash hosts_fixup() { echo "travis_fold:start:hosts_fixup" echo "Rewriting hosts file" echo "## /etc/hosts ##" cat /etc/hosts sudo sed -i 's/^::1\s*localhost/::1/' /etc/hosts ./wpt make-hosts-file | sudo tee -a /etc/hosts echo "== /etc/hosts ==" cat /etc/hosts echo "----------------" echo "travis_fold:end:hosts_fixup" } install_chrome() { channel=$1 deb_archive=google-chrome-${channel}_current_amd64.deb wget -q https://dl.google.com/linux/direct/$deb_archive # If the environment provides an installation of Google Chrome, the # existing binary may take precedence over the one introduced in this # script. Remove any previously-existing "alternatives" prior to # installation in order to ensure that the new binary is installed as # intended. if sudo update-alternatives --list google-chrome; then sudo update-alternatives --remove-all google-chrome fi # Installation will fail in cases where the package has unmet dependencies. # When this occurs, attempt to use the system package manager to fetch the # required packages and retry. if ! sudo dpkg --install $deb_archive; then sudo apt-get install --fix-broken sudo dpkg --install $deb_archive fi }