From 9878eb22b89571838cbbf2174dc9631859184173 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= <cyplo@cyplo.net>
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