From 7c7204a1ba117304deb2074949a31e7aef3cca55 Mon Sep 17 00:00:00 2001 From: M-D-M Date: Tue, 27 Mar 2018 17:57:29 -0400 Subject: [PATCH] Doc: Update Ubuntu source creation commands to use 'curl -o' (#6510) Updated the Ubuntu source creation commands to remove the need for piping --- docs/installation/linux.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/installation/linux.md b/docs/installation/linux.md index 1ded2d069d..1551e08c3b 100644 --- a/docs/installation/linux.md +++ b/docs/installation/linux.md @@ -39,7 +39,7 @@ This is the preferred method. curl https://packages.microsoft.com/keys/microsoft.asc | sudo apt-key add - # Register the Microsoft Ubuntu repository -curl https://packages.microsoft.com/config/ubuntu/14.04/prod.list | sudo tee /etc/apt/sources.list.d/microsoft.list +sudo curl -o /etc/apt/sources.list.d/microsoft.list https://packages.microsoft.com/config/ubuntu/14.04/prod.list # Update the list of products sudo apt-get update @@ -89,7 +89,7 @@ This is the preferred method. curl https://packages.microsoft.com/keys/microsoft.asc | sudo apt-key add - # Register the Microsoft Ubuntu repository -curl https://packages.microsoft.com/config/ubuntu/16.04/prod.list | sudo tee /etc/apt/sources.list.d/microsoft.list +sudo curl -o /etc/apt/sources.list.d/microsoft.list https://packages.microsoft.com/config/ubuntu/16.04/prod.list # Update the list of products sudo apt-get update @@ -139,7 +139,7 @@ This is the preferred method. curl https://packages.microsoft.com/keys/microsoft.asc | sudo apt-key add - # Register the Microsoft Ubuntu repository -curl https://packages.microsoft.com/config/ubuntu/17.04/prod.list | sudo tee /etc/apt/sources.list.d/microsoft.list +sudo curl -o /etc/apt/sources.list.d/microsoft.list https://packages.microsoft.com/config/ubuntu/17.04/prod.list # Update the list of products sudo apt-get update