old-install/powershell.sh

   1 if [ ! -f ~/.config/powershell/Microsoft.PowerShell_profile.ps1 ]; then
   2
   3 ###################################
   4 # Prerequisites
   5
   6 # Update the list of packages
   7 sudo apt-get update
   8
   9 # Install pre-requisite packages.
  10 sudo apt-get install -y wget
  11
  12 # Get the version of Debian
  13 source /etc/os-release
  14
  15 # Download the Microsoft repository GPG keys
  16 wget -q https://packages.microsoft.com/config/debian/$VERSION_ID/packages-microsoft-prod.deb
  17
  18 # Register the Microsoft repository GPG keys
  19 sudo dpkg -i packages-microsoft-prod.deb
  20
  21 # Delete the Microsoft repository GPG keys file
  22 rm packages-microsoft-prod.deb
  23
  24 # Update the list of packages after we added packages.microsoft.com
  25 sudo apt-get update
  26
  27 ###################################
  28 # Install PowerShell
  29 sudo apt-get install -y powershell
  30
  31 fi