2

在我的.bash_profile文件中,我想更新 PATH 变量的值。另外,要添加JAVA_PATHJRE_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_PATHJRE_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 回答