From df7b25c2dbe34ff0b42456bf474a2363e285c3a4 Mon Sep 17 00:00:00 2001
From: JustAnotherArchivist <JustAnotherArchivist@users.noreply.github.com>
Date: Sun, 10 Apr 2022 00:49:04 +0000
Subject: [PATCH] Error on unknown options

---
 wpull2-requeue | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/wpull2-requeue b/wpull2-requeue
index 867bab2..f20c839 100755
--- a/wpull2-requeue
+++ b/wpull2-requeue
@@ -48,6 +48,12 @@ then
 	shift
 fi
 
+if [[ "$1" == --* ]]
+then
+	echo "Error: Unknown option $1" >&2
+	exit 1
+fi
+
 if [[ "${where}" ]]
 then
 	where="$1"