Update Debian Install Script To Support Debian 10

RandomNoun7 · RandomNoun7 · commit c2d0424a76fb · 2020-01-09T11:58:25.000-08:00
Support for installing pwsh on Debian 10 was added in #11236, but the install script for Debian was not updated. This resulted in an error when running the install script that claimed the distro was not supported. This change simply adds `10` to the collection of supported distro's. I have tested that the script will now successfully install powershell preview 7 on a Debian 10 machine. Fix #11539
diff --git a/tools/installpsh-debian.sh b/tools/installpsh-debian.sh
@@ -186,7 +186,7 @@ case $DISTRIB_ID in
     debian)
         DISTRIB_RELEASE=${DISTRIB_RELEASE%%.*}
         case $DISTRIB_RELEASE in
-            8|9)
+            8|9|10|11)
                 curl https://packages.microsoft.com/config/debian/$DISTRIB_RELEASE/prod.list | $SUDO tee /etc/apt/sources.list.d/microsoft.list
             ;;
             *)
