From 9cc4574114ebe7c21861843541f67ad4aa5b0089 Mon Sep 17 00:00:00 2001
From: Luke Murphy <lukewm@riseup.net>
Date: Wed, 12 Feb 2020 19:16:35 +0100
Subject: [PATCH] Use the correct ethernet name

---
 docs/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/index.md b/docs/index.md
index b8f7ed7..1d97c81 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -401,7 +401,7 @@ We then configure the ethernet interface. We put the following in
 `/etc/network/interfaces.d/enx78e7d1ea46da`:
 
 ```bash
-auto eth0
+auto enx78e7d1ea46da
 allow-hotplug enx78e7d1ea46da
 iface enx78e7d1ea46da inet dhcp
 ```