From e57e6c9b6b47033c98c6248703e4124405d8994a Mon Sep 17 00:00:00 2001
From: Luke Murphy <lukewm@riseup.net>
Date: Tue, 18 Dec 2018 12:19:12 +0100
Subject: [PATCH] Remove old command name and use new one. Sync -> Pull.

---
 bin/etherdump | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/etherdump b/bin/etherdump
index 5f5eb5f..fca890f 100755
--- a/bin/etherdump
+++ b/bin/etherdump
@@ -28,7 +28,7 @@ For more information on each command try:
 try:
     cmd = sys.argv[1]
     if cmd.startswith("-"):
-    	cmd = "sync"
+    	cmd = "pull"
     	args = sys.argv
     else:
     	args = sys.argv[2:]