From 4e464ffeb005d5c9b560e51d3812fca23a3bb6a8 Mon Sep 17 00:00:00 2001
From: patvdv <github@kudos.be>
Date: Mon, 29 Oct 2018 19:31:38 +0100
Subject: [PATCH] Fix

---
 manage_sudo.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manage_sudo.sh b/manage_sudo.sh
index 7cb1cde..1048a86 100644
--- a/manage_sudo.sh
+++ b/manage_sudo.sh
@@ -209,7 +209,7 @@ fi
 # --local-dir
 if [[ -n "${ARG_LOCAL_DIR}" ]]
 then
-    if [[ ! -d "${ARG_LOCAL_DIR}" ]] -o [[ ! -r "${ARG_LOCAL_DIR}" ]]
+    if [[ ! -d "${ARG_LOCAL_DIR}" ]] || [[ ! -r "${ARG_LOCAL_DIR}" ]]
     then
         print -u2 "ERROR: unable to read directory ${ARG_LOCAL_DIR}"
         exit 1