檢測os類型並設置JAVA_HOME

Question

我想檢測一個bash腳本中的os類型並相應地設置JAVA_HOME。

if [[ $(type -t apt-get) == "file" ]]; then os="apt" 
    elif [[ $(type -t yum)  == "file" ]]; then os="yum" 
    else 
      echo "Could not determine os." 
    fi 

case "$os" in 

     apt) pushd /etc/ \ 
       echo 'export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/' >> /etc/profile ;; 

     yum) pushd /etc/profile.d/ \ 
       echo 'export JAVA_HOME=/usr/lib/jvm/jre-1.7.0-openjdk.x86_64/' >> /etc/profile.d/user_env.sh ;; 
esac 

我已經試過這個，但它似乎不是寫入導出到文件。

任何幫助，非常感謝。

Answer 1

我不知道該pushd起到什麼樣的目的在這裏，但你不希望\，因爲這將是pushd命令行的延續，而不是實際運行echo命令。你想，我想：

if [[ $(type -t apt-get) == "file" ]]; then os="apt" 
elif [[ $(type -t yum)  == "file" ]]; then os="yum" 
else 
    echo "Could not determine os." 
fi 

case "$os" in 
     apt) echo 'export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/' >> /etc/profile ;; 
     yum) echo 'export JAVA_HOME=/usr/lib/jvm/jre-1.7.0-openjdk.x86_64/' >> /etc/profile.d/user_env.sh ;; 
esac 

如果你想保持pushd，這將是：

case "$os" in 

     apt) pushd /etc/ 
       echo 'export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/' >> /etc/profile ;; 

     yum) pushd /etc/profile.d/ 
       echo 'export JAVA_HOME=/usr/lib/jvm/jre-1.7.0-openjdk.x86_64/' >> /etc/profile.d/user_env.sh ;; 
esac