私の.bash_profileファイルで、PATH 変数の値を更新したいと考えています。また、JAVA_PATHおよびJRE_HOME変数を追加します。そして、これらすべてをShell Scriptで実行したいと考えています。
コマンドでこれを行う方法がわからないので、catコマンドを使用してファイル全体を上書きします-
cat >> ~/.bash_profile << _EOF_
#!/bin/bash/
if [ -f ~/.bashrc ]; then
.~/.bashrc
fi
#User specific environment and startup programs
JAVA_PATH=/usr/java/jdk1.6.0_35/bin
PATH=$JAVA_PATH:$PATH:HOME/bin
JRE_HOME=/usr/jdk1.6.0_35
export PATH
unset USERNAME
_EOF_
このファイルを使用すると、どのような影響がありますか? PATH変数の値を簡単に更新し、 JAVA_PATHおよびJRE_HOME変数をこのファイルに挿入するにはどうすればよいですか?