diff --git a/sit b/sit index 53c67a1..006a6c1 100755 --- a/sit +++ b/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"