doc: Mention the 'ip' command.
authorLudovic Courtès <ludo@gnu.org>
Sat, 4 Jun 2016 20:38:11 +0000 (22:38 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sat, 4 Jun 2016 22:05:38 +0000 (00:05 +0200)
Suggested by Alex Kost <alezost@gmail.com>.

* doc/guix.texi (Preparing for Installation): Mention 'ip'.

doc/guix.texi

index c8c7555..12dd354 100644 (file)
@@ -6010,6 +6010,13 @@ Run the following command see what your network interfaces are called:
 ifconfig -a
 @end example
 
+@noindent
+@dots{} or, using the GNU/Linux-specific @command{ip} command:
+
+@example
+ip a
+@end example
+
 @c http://cgit.freedesktop.org/systemd/systemd/tree/src/udev/udev-builtin-net_id.c#n20
 Wired interfaces have a name starting with @samp{e}; for example, the
 interface corresponding to the first on-board Ethernet controller is