From 9878eb22b89571838cbbf2174dc9631859184173 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= Date: Fri, 28 Oct 2016 16:00:37 +0200 Subject: [PATCH] Remove custom Mono installation from Ubuntu --- ubuntu/configure_fresh_system | 5 ----- 1 file changed, 5 deletions(-) diff --git a/ubuntu/configure_fresh_system b/ubuntu/configure_fresh_system index e884516d..76366819 100755 --- a/ubuntu/configure_fresh_system +++ b/ubuntu/configure_fresh_system @@ -20,11 +20,6 @@ if [[ -z $NO_SYSTEMCTL ]]; then sudo systemctl start tor fi -sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF -echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list -sudo apt-get update -sudo apt-get -y install mono-devel mono-complete - DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$DIR/../" DIR="$DIR" $DIR/common/configure_fresh_system