diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-06-04 22:38:11 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-06-05 00:05:38 +0200 |
commit | 1713c37f835a0566a47d76d2379b2d0b12c0b548 (patch) | |
tree | 8638aaeccb5cb378f721b400b85e349c50b2104f /doc | |
parent | 7868000fe4fceb6036fbf80cfad13cfe33c84992 (diff) | |
download | gnu-guix-1713c37f835a0566a47d76d2379b2d0b12c0b548.tar gnu-guix-1713c37f835a0566a47d76d2379b2d0b12c0b548.tar.gz |
doc: Mention the 'ip' command.
Suggested by Alex Kost <alezost@gmail.com>.
* doc/guix.texi (Preparing for Installation): Mention 'ip'.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c8c755580a..12dd3541f0 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -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 |