From f8303d5a60d11093253c433b26e12c27b5df6da5 Mon Sep 17 00:00:00 2001
From: Rebecca Wallander <FakeShemp@users.noreply.github.com>
Date: Sun, 17 Nov 2019 15:22:42 +0100
Subject: [PATCH] Enable Mono 5 SDK

---
 code.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/code.sh b/code.sh
index 41f9a63..6e4b261 100755
--- a/code.sh
+++ b/code.sh
@@ -25,5 +25,9 @@ if [[ -d /usr/lib/sdk/openjdk8 ]]; then
   . /usr/lib/sdk/openjdk8/enable.sh
 fi
 
+if [[ -d /usr/lib/sdk/mono5 ]]; then
+  . /usr/lib/sdk/mono5/enable.sh
+fi
+
 exec env PATH="${PATH}:${XDG_DATA_HOME}/node_modules/bin" \
   /app/extra/vscode/bin/code --extensions-dir=${XDG_DATA_HOME}/vscode/extensions "$@" ${WARNING_FILE}