mirror of
https://github.com/servo/servo.git
synced 2025-10-09 04:59:23 +01:00
37 lines
1.3 KiB
Bash
37 lines
1.3 KiB
Bash
#!/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
|
|
}
|