diff --git a/scripts/docker-install-phase1.bash b/scripts/docker-install-phase1.bash index 61f4e24..f3a13e7 100755 --- a/scripts/docker-install-phase1.bash +++ b/scripts/docker-install-phase1.bash @@ -18,7 +18,7 @@ curl -sSL https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add - curl -sSL https://keybase.io/crystal/pgp_keys.asc | apt-key add - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E298A3A825C0D65DFD57CBB651716619E084DAB9 -wget https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb +wget -nv https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb dpkg -i packages-microsoft-prod.deb rm packages-microsoft-prod.deb