antlr/.travis/before-install-linux-dotnet.sh

11 lines
334 B
Bash
Raw Normal View History

2017-01-25 08:24:36 +08:00
#!/bin/bash
set -euo pipefail
# install dotnet
2017-01-25 08:24:36 +08:00
sudo sh -c 'echo "deb [arch=amd64] https://apt-mo.trafficmanager.net/repos/dotnet-release/ trusty main" > /etc/apt/sources.list.d/dotnetdev.list'
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 417A0893
sudo apt-get update
sudo apt-get install dotnet-dev-1.0.4
2017-03-04 09:42:44 +08:00