From 2068be200d86792a9fc9837f19258eb66af1a5ef Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 19 Jan 2023 09:24:26 +0100
Subject: [PATCH] change extension search to properties

---
 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 514ff98..48c6e5f 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 "*.properties" -exec grep '843339462' /dev/null {} + || echo 'empty'`
 if [[ ["${out}" != "empty"] && "$(grep '\.java' <<< ${out})" ]]; then
     echo "${out}"
     echo "token found"