| 528 |
{ |
{ |
| 529 |
print $fh "export FIG_ENV_CONFIG_FILE='$env_config_file'\n"; |
print $fh "export FIG_ENV_CONFIG_FILE='$env_config_file'\n"; |
| 530 |
print $fh <<'END'; |
print $fh <<'END'; |
| 531 |
|
env_dir=`awk "\\$1 == \"$HOSTNAME\" { print \\$2 }" $FIG_ENV_CONFIG_FILE` |
| 532 |
|
if [ "$env_dir" = "" ] ; then |
| 533 |
env_dir=`awk "\\$1 == \"$HOSTTYPE\" { print \\$2 }" $FIG_ENV_CONFIG_FILE` |
env_dir=`awk "\\$1 == \"$HOSTTYPE\" { print \\$2 }" $FIG_ENV_CONFIG_FILE` |
| 534 |
|
fi |
| 535 |
export PATH=$env_dir/bin:${PATH} |
export PATH=$env_dir/bin:${PATH} |
| 536 |
END |
END |
| 537 |
} |
} |
Parent Directory
| 
Revision Log
| 
Patch