From bcf061abf932f9adf243554c22185d323f5ff2ea Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Tue, 12 Apr 2022 02:33:48 +0200
Subject: People should really use apt instead of apt-get nowadays

---
 microkernel/mach/gnumach/building.mdwn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'microkernel/mach/gnumach')

diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index d3fe670a..aed87046 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -26,7 +26,7 @@ You can either use the git repository (see <http://git.savannah.gnu.org/git/hurd
 ... or get the Debian sources, if you're using Debian. (See
 [here](http://packages.debian.net/source/unstable/gnumach).)
 
-    $ apt-get source gnumach
+    $ apt source gnumach
 
 ## On Debian Systems:
 
@@ -35,8 +35,8 @@ You can either use the git repository (see <http://git.savannah.gnu.org/git/hurd
 Building GNU Mach requires the *build-essential* and *fakeroot* packages,
 and some additional dependencies specified by the gnumach source package:
 
-    # apt-get install build-essential fakeroot
-    # apt-get build-dep gnumach
+    # apt install build-essential fakeroot
+    # apt build-dep gnumach
 
 ### Building and Installing ... Debian `.deb` files
 
-- 
cgit v1.2.3