From 795ca7b7c1884155464ddbb645253de6b47ee68b Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 16 Jan 2023 17:35:30 +0100
Subject: [PATCH] fix script

---
 16-01-2023-grepkeys/greptoken.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/16-01-2023-grepkeys/greptoken.sh b/16-01-2023-grepkeys/greptoken.sh
index aaf47ff..7954ffb 100644
--- a/16-01-2023-grepkeys/greptoken.sh
+++ b/16-01-2023-grepkeys/greptoken.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-out=`find . -name '*.java'  -o -name '*.properties'-exec grep '843339462' /dev/null {} +`
+out=`find . -name '*.java'  -o -name '*.properties' -exec grep '843339462' /dev/null {} +`
 if [[ -n "${out}" ]]; then
     echo "token found in: "
     echo "${out}"