Merge PR 423: change travis to use 'trusty' instead of 'precise'

This should be good for another two years, until trusty (14.04 LTS) is
end-of-lifed in april 2019.
This commit is contained in:
Brian Warner 2017-07-12 11:38:05 -07:00
commit 1f11679025
2 changed files with 4 additions and 3 deletions

View File

@ -1,4 +1,5 @@
sudo: true
dist: trusty
sudo: required
os:
- "linux"
- "osx"

View File

@ -3,8 +3,8 @@
# Script to install Tor
set -ex
echo "deb http://deb.torproject.org/torproject.org precise main" | sudo tee -a /etc/apt/sources.list
echo "deb-src http://deb.torproject.org/torproject.org precise main" | sudo tee -a /etc/apt/sources.list
echo "deb http://deb.torproject.org/torproject.org trusty main" | sudo tee -a /etc/apt/sources.list
echo "deb-src http://deb.torproject.org/torproject.org trusty main" | sudo tee -a /etc/apt/sources.list
# Install Tor repo signing key
sudo apt-key add - <<EOF