Skip to content
Snippets Groups Projects
Select Git revision
  • 02c0338b76955bdcaf2e9eda7b58113d1befdae2
  • master default protected
  • replication_test
  • dev protected
  • release-1.10 protected
  • release-1.9 protected
  • 551-init-broker-service-permissions
  • 549-test-oai-pmh
  • 545-saving-multiple-times-breaks-pid-metadata
  • 499-standalone-compute-service-2
  • 539-load-tests
  • hotfix/helm-chart
  • luca_ba_new_interface
  • 534-bug-when-adding-access-to-user-that-is-not-registered-at-dashboard-service
  • release-1.8 protected
  • 533-integrate-semantic-recommendation
  • feature/openshift
  • 518-spark-doesn-t-map-the-headers-correct
  • 485-fixity-checks
  • 530-various-schema-problems-with-subsets
  • release-1.7 protected
  • v1.10.2 protected
  • v1.10.1 protected
  • v1.10.0-rc13 protected
  • v1.10.0-rc12 protected
  • v1.10.0-rc11 protected
  • v1.10.0-rc10 protected
  • v1.10.0-rc9 protected
  • v1.10.0-rc8 protected
  • v1.10.0-rc7 protected
  • v1.10.0-rc6 protected
  • v1.10.0-rc5 protected
  • v1.10.0-rc4 protected
  • v1.10.0-rc3 protected
  • v1.10.0-rc2 protected
  • v1.10.0rc1 protected
  • v1.10.0rc0 protected
  • v1.10.0 protected
  • v1.9.3 protected
  • v1.9.2 protected
  • v1.9.2-rc0 protected
41 results

application.properties

Blame
  • entrypoint.sh 609 B
    #!/bin/bash
    # By MB
    # run FLEXPART, but provide a bit of information
    echo "Welcome, running FLEXPART "
    echo "Using defaults (/pathnames)"
    cat /pathnames
    echo "Mount volumes to change inputs"
    echo "Git: $COMMIT"
    echo "EXECUTING FLEXPART"
    if [ $# -eq 1 ]; then
        echo "trying to execute: /src/$1"
        if [ -e /src/"$1" ]; then
            echo "Executing: /src/$1"
            /src/"$1" /pathnames
        else
            echo "Falling back to default, executing: /src/FLEXPART_ETA"
            /src/FLEXPART_ETA /pathnames
        fi
    else
        echo "Executing: /src/FLEXPART_ETA"
        /src/FLEXPART_ETA /pathnames
    fi
    echo "FINISHED"