2

私の.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変数をこのファイルに挿入するにはどうすればよいですか?

4

1 に答える 1

0

sedやawkなどのテキスト操作ツールを使用する必要があります...

.bash_profile の PATH 値を変更する方法の簡単な例を次に示します。

sed 's/^\([[:space:]]*PATH=\)\(.*\)$/\1"\/bin:\/usr\/bin:~\/bin"/' ~/.bash_profile

エスケープされた特殊文字 ( および /

古いファイルを上書きしたい場合は、次のような一時ファイルを介して行う必要があります。

sed ... > /tmp/tmpbashprofile$$
mv /tmp/tmpbashprofile$$ ~/.bash_profile

新しい設定を追加するのは簡単です:

echo "JAVA_PATH=/usr/java/jdk1.6.0_35/bin" >> ~/.bash_profile

ダブル>>に注意してください-指定されたファイルにデータを追加します

于 2012-10-30T12:29:14.600 に答える