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 | |
| parent | 7868000fe4fceb6036fbf80cfad13cfe33c84992 (diff) | |
| download | patches-1713c37f835a0566a47d76d2379b2d0b12c0b548.tar patches-1713c37f835a0566a47d76d2379b2d0b12c0b548.tar.gz | |
doc: Mention the 'ip' command.
Suggested by Alex Kost <alezost@gmail.com>.
* doc/guix.texi (Preparing for Installation): Mention 'ip'.
| -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 |