From: Chris Koeritz <fred@gruntose.com>
Date: Tue, 13 Mar 2012 20:48:00 +0000 (-0400)
Subject: using case-insensitive check on drive mounts, since apparently they are not always
X-Git-Tag: 2.140.90~1471
X-Git-Url: https://feistymeow.org/gitweb/?p=feisty_meow.git;a=commitdiff_plain;h=e3d3afd48f7f94e751677042e8b8b37a9ab09a35

using case-insensitive check on drive mounts, since apparently they are not always
listed in lower-case in /proc/mounts.
---

diff --git a/examples/custom_overrides/fred/java_profile.sh b/examples/custom_overrides/fred/java_profile.sh
old mode 100755
new mode 100644
index b7244aa2..67cb90fb
--- a/examples/custom_overrides/fred/java_profile.sh
+++ b/examples/custom_overrides/fred/java_profile.sh
@@ -53,7 +53,7 @@ if [ ! -d "$JAVA_HOME" ]; then
   JAVA_HOME="$(ls -d c:/tools/*jdk* 2>/dev/null)"
 fi
 if [ ! -d "$JAVA_HOME" ]; then
-  if [ ! -z "$(grep 'd:' /proc/mounts 2>/dev/null)" ]; then
+  if [ ! -z "$(grep -i 'd:' /proc/mounts 2>/dev/null)" ]; then
     # try using a windows version.
     JAVA_HOME="$(ls -d d:/tools/*jdk* 2>/dev/null)"
   fi
@@ -89,12 +89,12 @@ if [ ! -d "$ECLIPSE_DIR" ]; then
   ECLIPSE_DIR="c:/tools/eclipse"
 fi
 if [ ! -d "$ECLIPSE_DIR" ]; then
-  if [ ! -z "$(grep 'd:' /proc/mounts)" ]; then
+  if [ ! -z "$(grep -i 'd:' /proc/mounts)" ]; then
     ECLIPSE_DIR="d:/tools/eclipse"
   fi
 fi
 if [ ! -d "$ECLIPSE_DIR" ]; then
-  if [ ! -z "$(grep 'e:' /proc/mounts)" ]; then
+  if [ ! -z "$(grep -i 'e:' /proc/mounts)" ]; then
     ECLIPSE_DIR="e:/tools/eclipse"
   fi
 fi