From 55c627eb895434dbc9b8dd0ae9dae9979d529218 Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Thu, 8 Apr 2021 14:53:31 +0200
Subject: Rename search.sh -> sc.sh

---
 sc.sh     | 31 +++++++++++++++++++++++++++++++
 search.sh | 31 -------------------------------
 2 files changed, 31 insertions(+), 31 deletions(-)
 create mode 100755 sc.sh
 delete mode 100755 search.sh

diff --git a/sc.sh b/sc.sh
new file mode 100755
index 0000000..3b62234
--- /dev/null
+++ b/sc.sh
@@ -0,0 +1,31 @@
+#!/bin/sh
+
+homedevel=`echo ~/devel/`
+directory=`9p read acme/index | awk '{print "|"$1" "$6}' | grep "|$winid " | awk '{print $2}'`
+directory=`echo $directory | sed 's|/[^/]*$||'`
+if [ ! -z "`echo $directory | grep -o $homedevel`" ]; then
+    directory=`echo $directory | sed "s|$homedevel||"`
+    curdir=$homedevel
+    for i in `echo $directory | sed 's|/| |g'`; do
+        curdir=$curdir$i/
+        if [ -f "${curdir}pom.xml" ]; then
+            rootdir=$curdir
+            break
+        fi
+    done
+fi
+
+rootdir=${rootdir}src
+
+if [ -z $1 ]; then
+    IFS=''
+    while read -r LINE || [ -n "$LINE" ]; do
+        FOUND=`find $rootdir -name "*$LINE*"`
+        echo $FOUND
+        exit
+    done
+else
+    find $rootdir -name "*$1*"
+fi
+
+
diff --git a/search.sh b/search.sh
deleted file mode 100755
index 3b62234..0000000
--- a/search.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/sh
-
-homedevel=`echo ~/devel/`
-directory=`9p read acme/index | awk '{print "|"$1" "$6}' | grep "|$winid " | awk '{print $2}'`
-directory=`echo $directory | sed 's|/[^/]*$||'`
-if [ ! -z "`echo $directory | grep -o $homedevel`" ]; then
-    directory=`echo $directory | sed "s|$homedevel||"`
-    curdir=$homedevel
-    for i in `echo $directory | sed 's|/| |g'`; do
-        curdir=$curdir$i/
-        if [ -f "${curdir}pom.xml" ]; then
-            rootdir=$curdir
-            break
-        fi
-    done
-fi
-
-rootdir=${rootdir}src
-
-if [ -z $1 ]; then
-    IFS=''
-    while read -r LINE || [ -n "$LINE" ]; do
-        FOUND=`find $rootdir -name "*$LINE*"`
-        echo $FOUND
-        exit
-    done
-else
-    find $rootdir -name "*$1*"
-fi
-
-
-- 
cgit v1.2.3