From 2afe13940021342aa4aa643feb675909746bb9ca Mon Sep 17 00:00:00 2001
From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sat, 26 Sep 2020 12:57:09 -0400
Subject: [PATCH] Add dotnet recipe for Ubuntu 18.04

---
 deps/dotnet/Makefile             |  1 +
 deps/dotnet/install_on_ubuntu.sh | 13 +++++++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 deps/dotnet/Makefile
 create mode 100755 deps/dotnet/install_on_ubuntu.sh

diff --git a/deps/dotnet/Makefile b/deps/dotnet/Makefile
new file mode 100644
index 0000000..25c5f28
--- /dev/null
+++ b/deps/dotnet/Makefile
@@ -0,0 +1 @@
+# TODO: Platform-specific script selector for current platform
diff --git a/deps/dotnet/install_on_ubuntu.sh b/deps/dotnet/install_on_ubuntu.sh
new file mode 100755
index 0000000..eeadd9f
--- /dev/null
+++ b/deps/dotnet/install_on_ubuntu.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+set -e
+
+PKG='packages-microsoft-prod.deb'
+
+mkdir -p data
+wget https://packages.microsoft.com/config/ubuntu/18.04/"$PKG" -O data/"$PKG"
+sudo apt install ./data/"$PKG"
+sudo apt update
+sudo apt install apt-transport-https
+sudo apt update
+sudo apt install dotnet-sdk-3.1
-- 
2.20.1