#!/bin/sh -x # shibboleth-identity-provider source dir cd /opt/shibboleth-identity-provider-${IDP_VERSION} case "$*" in start) # Upgrade/Recreate war ./bin/install.sh -Didp.src.dir /opt/shibboleth-identity-provider-${IDP_VERSION}/ -Didp.target.dir /opt/shibboleth-idp ;; install) # Fresh install cat>/tmp/entity_id<