From 0065bfd21913d1ce6df36176dfa2177e54c1eed6 Mon Sep 17 00:00:00 2001
From: Tom Deseyn <tom.deseyn@gmail.com>
Date: Apr 18 2019 13:35:47 +0000
Subject: profile.d/dotnet.sh: set DOTNET_ROOT to shared framework location


---

diff --git a/dotnet.sh b/dotnet.sh
index 718d895..1d1fca1 100644
--- a/dotnet.sh
+++ b/dotnet.sh
@@ -1,4 +1,7 @@
 
+# Set location of shared framework
+[ -z "$DOTNET_ROOT" ] && DOTNET_ROOT=/usr/lib64/dotnet
+
 # Add dotnet tools directory to PATH
 DOTNET_TOOLS_PATH="$HOME/.dotnet/tools"
 case "$PATH" in