From e6c8cbd9844be54502efcf477b990c83ad1cddcc Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 16 Jan 2023 11:07:52 +0100
Subject: [PATCH] add gcubekey search script and repo list for testing it

---
 16-01-2023-grepkeys/grepkeys.sh   | 8 ++++++++
 16-01-2023-grepkeys/repo_list.txt | 3 +++
 2 files changed, 11 insertions(+)
 create mode 100644 16-01-2023-grepkeys/grepkeys.sh
 create mode 100644 16-01-2023-grepkeys/repo_list.txt

diff --git a/16-01-2023-grepkeys/grepkeys.sh b/16-01-2023-grepkeys/grepkeys.sh
new file mode 100644
index 0000000..1217dc9
--- /dev/null
+++ b/16-01-2023-grepkeys/grepkeys.sh
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+out=`find . -name '*.gcubekey' /dev/null {} +`
+if [[ -n "${out}" ]]; then
+    echo "gcubekey found in "
+    echo "${out}"
+else
+    echo "gcubekey not found"
+fi
diff --git a/16-01-2023-grepkeys/repo_list.txt b/16-01-2023-grepkeys/repo_list.txt
new file mode 100644
index 0000000..6ecfffb
--- /dev/null
+++ b/16-01-2023-grepkeys/repo_list.txt
@@ -0,0 +1,3 @@
+to_update_1
+to_update_2
+to_update_3
\ No newline at end of file