From 4eeeebeb8ec989d22665e58ecce80a34ab19a2e5 Mon Sep 17 00:00:00 2001
From: Ben Peddell <klightspeed@killerwolves.net>
Date: Sat, 27 Feb 2016 22:19:10 +1000
Subject: [PATCH] Add handling for global options

---
 tools/arkmanager | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/tools/arkmanager b/tools/arkmanager
index 67415e0..b6f8201 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -1732,6 +1732,22 @@ while true; do
   shift
   nrarg=0
 
+  # Handle global options
+  case "$command" in
+    --verbose)
+      verbose=1
+      continue
+    ;;
+    --dots)
+      progressDisplayType=dots
+      continue
+    ;;
+    --spinner)
+      progressDisplayType=spinner
+      continue
+    ;;
+  esac
+
   # get the number of arguments for commands that take arguments
   case "$command" in
     installmod) nrarg=1; ;;