From 7987cce60562d4dcb43ecd140fdced1d3b27023f Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Thu, 8 Apr 2021 17:53:58 +0200
Subject: Rename fc.sh -> findc.sh

---
 fc.sh    | 32 --------------------------------
 findc.sh | 32 ++++++++++++++++++++++++++++++++
 2 files changed, 32 insertions(+), 32 deletions(-)
 delete mode 100755 fc.sh
 create mode 100755 findc.sh

diff --git a/fc.sh b/fc.sh
deleted file mode 100755
index 3726bfe..0000000
--- a/fc.sh
+++ /dev/null
@@ -1,32 +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.java"`
-        echo $FOUND
-        exit
-    done
-else
-    find $rootdir -name "$1.java"
-fi
-
-
diff --git a/findc.sh b/findc.sh
new file mode 100755
index 0000000..3726bfe
--- /dev/null
+++ b/findc.sh
@@ -0,0 +1,32 @@
+#!/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.java"`
+        echo $FOUND
+        exit
+    done
+else
+    find $rootdir -name "$1.java"
+fi
+
+
-- 
cgit v1.2.3