Select platform via the new SITE_PLATFORM_NAME environment variable.
This commit is contained in:
parent
b69b7f842a
commit
e5757ddc15
1 changed files with 3 additions and 12 deletions
15
sit
15
sit
|
@ -25,19 +25,10 @@ fi
|
|||
source "$SIT_PATH/functions.sh"
|
||||
|
||||
# identify platform manually if no environment variable was set
|
||||
PLATFORM=${PLATFORM:=$SITE_PLATFORM_NAME}
|
||||
if [ -z $PLATFORM ]; then
|
||||
case $HOSTNAME in
|
||||
cl3fr1|cl3fr2|cl3fr4|imager)
|
||||
PLATFORM="laki"
|
||||
;;
|
||||
eslogin*)
|
||||
PLATFORM="hermit1"
|
||||
;;
|
||||
*)
|
||||
sit_info "Unknown host '$HOSTNAME' using default platform '${DEFAULT_PLATFORM}' configuration"
|
||||
PLATFORM="${DEFAULT_PLATFORM}"
|
||||
;;
|
||||
esac
|
||||
sit_info "Unknown platform using default platform '${DEFAULT_PLATFORM}' configuration"
|
||||
PLATFORM="${DEFAULT_PLATFORM}"
|
||||
fi
|
||||
|
||||
sit_info "Platform: $PLATFORM"
|
||||
|
|
Loading…
Reference in a new issue