From e3d3afd48f7f94e751677042e8b8b37a9ab09a35 Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Tue, 13 Mar 2012 16:48:00 -0400 Subject: [PATCH] using case-insensitive check on drive mounts, since apparently they are not always listed in lower-case in /proc/mounts. --- examples/custom_overrides/fred/java_profile.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) mode change 100755 => 100644 examples/custom_overrides/fred/java_profile.sh 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 -- 2.34.1