deps/dotnet/install_on_ubuntu.sh

   1 #! /bin/sh
   2
   3 set -e
   4
   5 PKG_FILE='packages-microsoft-prod.deb'
   6 PKG_NAME='dotnet-sdk-3.1=3.1.100-1'
   7
   8 mkdir -p data
   9 wget https://packages.microsoft.com/config/ubuntu/18.04/"$PKG_FILE" -O data/"$PKG_FILE"
  10 sudo apt install ./data/"$PKG_FILE"
  11 sudo apt update
  12 sudo apt install apt-transport-https
  13 sudo apt update
  14 sudo apt install "$PKG_NAME"
  15 sudo apt-mark hold "$PKG_NAME"