java起動シェルでチルダ展開を\81«変更

diff --git a/src/main/attachment/bundle/CharacterManaJ.app/Contents/MacOS/java_launch.sh b/src/main/attachment/bundle/CharacterManaJ.app/Contents/MacOS/java_launch.sh
index a58a640..b38c18a 100755 (executable)
--- a/src/main/attachment/bundle/CharacterManaJ.app/Contents/MacOS/java_launch.sh
+++ b/src/main/attachment/bundle/CharacterManaJ.app/Contents/MacOS/java_launch.sh
@@ -7,7 +7,7 @@ JARNAME="CharacterManaJ.jar"
 declare -a jvm_options=()
 
 # 相対パスから絶対パスに変換する
-realpath() {
+function realpath() {
     [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"
 }
 
@@ -36,33 +36,33 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]:-$0}")" && pwd)"
 RESOURCE_DIR="$(realpath "$SCRIPT_DIR/../Resources")"
 
 # JVMオプションがあれば読み取る
-if [[ -f $RESOURCE_DIR/jvm_options ]]; then
-    read_jvm_options $RESOURCE_DIR/options
+if [[ -f "$RESOURCE_DIR/jvm_options" ]]; then
+    read_jvm_options "$RESOURCE_DIR/options"
 fi
 # JVMオプション(ユーザーディレクトリ上)
-if [[ -f ~/Library/${APPNAME}/jvm_options ]]; then
-    read_jvm_options ~/Library/${APPNAME}/jvm_options
+if [[ -f "${HOME}/Library/${APPNAME}/jvm_options" ]]; then
+    read_jvm_options "${HOME}/Library/${APPNAME}/jvm_options"
 fi
 
 # JREの位置を検索する
 PLUGINS_JRE_DIR="$(realpath "${SCRIPT_DIR}/../Plugins/JRE")"
-if [[ -x ${PLUGINS_JRE_DIR}/Home/bin/java ]]; then
+if [[ -x "${PLUGINS_JRE_DIR}/Home/bin/java" ]]; then
     # バンドル内にある場合(パターン1)
     JAVA_HOME="$(realpath "${PLUGINS_JRE_DIR}/Home")"
-elif [[ -x ${PLUGINS_JRE_DIR}/bin/java ]]; then
+elif [[ -x "${PLUGINS_JRE_DIR}/bin/java" ]]; then
     # バンドル内にある場合(パターン2)
     JAVA_HOME="$(realpath "${PLUGINS_JRE_DIR}")"
 else
     # バンドル内にない場合で、環境変数JAVA_HOMEがあれば、それを用いる。
     # 環境変数JAVA_HOMEがなければ、/usr/libexec/java_home があれば、それを使う
-    if [[ -z $JAVA_HOME ]]; then
-        if [[ -x /usr/libexec/java_home ]]; then
+    if [[ -z "$JAVA_HOME" ]]; then
+        if [[ -x "/usr/libexec/java_home" ]]; then
             JAVA_HOME="$(/usr/libexec/java_home)"
         fi
     fi
 fi
 
-if [[ -z $JAVA_HOME ]]; then
+if [[ -z "$JAVA_HOME" ]]; then
     which java 2>/dev/null
     if [[ $? -ne 0 ]]; then
         # JAVA_HOMEが設定されておらず、且つ、javaにパスが通ってない場合はエラー