.ci/env/hostenv.sh

   1 #!/bin/sh
   2
   3 # Allow selection of hostname, and if none is provided use the current machine
   4 # While this may seem unintuitive at first, it provides the flexibility of using
   5 # "named" configurations without being explicitly tied to fqdn
   6 hostname=$AS_HOST
   7 if [ -z "$hostname" ]; then
   8   hostname=$( python3 -c "import socket; print( socket.getfqdn() )" )
   9 fi
  10
  11 if [ $( contains ${hostname} hsn.de.hpc ) -eq 0 ]; then
  12   # Derecho HPC SuSE PBS
  13   . .ci/env/derecho.sh
  14 else
  15   echo "No known environment for '${hostname}', using current"
  16 fi