X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=deps%2Fdotnet%2Finstall_on_ubuntu.sh;fp=deps%2Fdotnet%2Finstall_on_ubuntu.sh;h=fc62cd2ee41c8c2439a8199988f52765c6754e14;hb=eef8c618a6c05e5f12dcd10ca5ae2b0868f055ba;hp=59a42fe45ae4db2c25abe60001081327b919c334;hpb=c82bd7cf1799b0f3216dac0ff5a0b2e72d726d13;p=khome.git

diff --git a/deps/dotnet/install_on_ubuntu.sh b/deps/dotnet/install_on_ubuntu.sh
index 59a42fe..fc62cd2 100755
--- a/deps/dotnet/install_on_ubuntu.sh
+++ b/deps/dotnet/install_on_ubuntu.sh
@@ -2,12 +2,14 @@
 
 set -e
 
-PKG='packages-microsoft-prod.deb'
+PKG_FILE='packages-microsoft-prod.deb'
+PKG_NAME='dotnet-sdk-3.1=3.1.100-1'
 
 mkdir -p data
-wget https://packages.microsoft.com/config/ubuntu/18.04/"$PKG" -O data/"$PKG"
-sudo apt install ./data/"$PKG"
+wget https://packages.microsoft.com/config/ubuntu/18.04/"$PKG_FILE" -O data/"$PKG_FILE"
+sudo apt install ./data/"$PKG_FILE"
 sudo apt update
 sudo apt install apt-transport-https
 sudo apt update
-sudo apt install dotnet-sdk-3.1=3.1.100-1
+sudo apt install "$PKG_NAME"
+sudo apt-mark hold "$PKG_NAME"