.bash_profile의 환경 변수 값을 빠르게 변경하세요.

역사적 이유로 우리 배포 도구 중 하나는 프로세스의 여러 단계에서 두 가지 다른 버전의 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. ~~추가 배포 단계~~

이것은 분명히 어리석은 접근법이다.

환경 변수를 동적으로 변경하는 가장 빠르고, 가장 짧고, 가장 정확한 방법은 무엇입니까?