deploy/deploy.sh
changeset 10 28971cf04a91
parent 2 f72ffe8b30b1
child 12 256b31ffdc33
equal deleted inserted replaced
9:3458ef964882 10:28971cf04a91
    19 DASHBOARDNAME=${1}
    19 DASHBOARDNAME=${1}
    20 VERSION=${2}
    20 VERSION=${2}
    21 
    21 
    22 case $DASHBOARDNAME in
    22 case $DASHBOARDNAME in
    23     explorunivers_test) DASHBOARDNAMEOK=true;;
    23     explorunivers_test) DASHBOARDNAMEOK=true;;
       
    24     explorunivers) DASHBOARDNAMEOK=true;;
    24     *)             DASHBOARDNAMEOK=false;;
    25     *)             DASHBOARDNAMEOK=false;;
    25 esac
    26 esac
    26 
    27 
    27 if [[ "$DASHBOARDNAMEOK" = false ]]; then
    28 if [[ "$DASHBOARDNAMEOK" = false ]]; then
    28     usage
    29     usage