From 0458ee8c6dd1b884a9cbb0e99bbc290a713dbae6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki-Chudyk?= Date: Fri, 12 Aug 2016 13:44:42 +0200 Subject: [PATCH] add mono to default debian installation --- debian/configure_fresh_system | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/debian/configure_fresh_system b/debian/configure_fresh_system index 60820f23..34dd9c19 100755 --- a/debian/configure_fresh_system +++ b/debian/configure_fresh_system @@ -19,6 +19,12 @@ if [[ -z $NO_SYSTEMCTL ]]; then sudo systemctl start tor fi +# mono +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 +echo "deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main" | sudo tee -a /etc/apt/sources.list.d/mono-xamarin.list +sudo apt-get update +sudo apt-get install mono-devel mono-complete # install vim from sources VIM_BUILD_DIR=/tmp cd "$VIM_BUILD_DIR"