From d562b677dfdd78bc929b5836f964ed25dc556a0a Mon Sep 17 00:00:00 2001
From: "roberto.cirillo" <roberto.cirillo@isti.cnr.it>
Date: Wed, 18 Jan 2023 10:10:44 +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 06f2810..514ff98 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' -exec grep '843339462' /dev/null {} + || echo 'empty'`
+out=`find . -name "*.java" -exec grep '843339462' /dev/null {} + || echo 'empty'`
 if [[ ["${out}" != "empty"] && "$(grep '\.java' <<< ${out})" ]]; then
     echo "${out}"
     echo "token found"