From: Chris Koeritz 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/?a=commitdiff_plain;h=e3d3afd48f7f94e751677042e8b8b37a9ab09a35;p=feisty_meow.git 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