From aadfc95f85e635c6a37a7b12ae9255fd39b08b36 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eddy=20Petri=C8=99or?= Date: Fri, 14 Dec 2018 23:36:01 +0200 Subject: [PATCH] install:linux: Recommend using apt instead of apt-get MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The 'apt' binary has appeared in apt 1.0 back in 2014 and has been ever since the recommended tool to install packages on Debian based systems. It makes little sense to recommend using 'apt-get' instead of 'apt' when even the current Debian oldstable - jessie - has apt >=1.0.9.8 and the Ubuntu 14.04 LTS - trusty - has apt >=1.0.1ubuntu1. Signed-off-by: Eddy Petrișor --- src/intro/install/linux.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/intro/install/linux.md b/src/intro/install/linux.md index 30ad63e..4af4c84 100644 --- a/src/intro/install/linux.md +++ b/src/intro/install/linux.md @@ -20,7 +20,7 @@ Here are the installation commands for a few Linux distributions. ``` console -$ sudo apt-get install \ +$ sudo apt install \ gdb-multiarch \ openocd \ qemu-system-arm @@ -37,7 +37,7 @@ $ sudo apt-get install \ ``` console -$ sudo apt-get install \ +$ sudo apt install \ gdb-arm-none-eabi \ openocd \ qemu-system-arm