快速更改 .bash_profile 中环境变量的值

Question

由于历史原因，部署我们的工具之一在过程的不同阶段依赖于两个不同版本的 Java。处理此问题的方法是重复编辑JAVA_HOME变量.bash_profile.

例如，部署说明中间有一个步骤，如下所示：

1. 编辑.bash_profile以取消注释以下行：

JAVA_HOME=/path//to/java/jdk1.6.0_07/

2. 来源.bash_profile
3. ~~第一个部署步骤~~
4. 编辑.bash_profile以注释掉上一行并取消注释以下行： JAVA_HOME=/path//to/java/jdk1.7.0_47/
5. 来源.bash_profile
6. ~~更多部署步骤~~

这显然是一种脑残的做法。

动态更改环境变量的最快/最短/最正确的方法是什么？

Answer 1

这不就是bash中export（内置函数）的目的吗？ export FOO=bar 看bash 的手册页。