github.com/ddev/ddev@v1.23.2-0.20240519125000-d824ffe36ff3/containers/ddev-webserver/ddev-webserver-base-scripts/pre-start.sh (about)

     1  #!/bin/bash
     2  
     3  # Create a pipe that other processes can use to get
     4  # info into the docker logs
     5  # The normal approach is for the other processes to write to
     6  # /proc/1/fd/1, but that doesn't currently work on gitpod
     7  # https://github.com/gitpod-io/gitpod/issues/17551
     8  
     9  set -x
    10  set -eu -o pipefail
    11  
    12  logpipe=/var/tmp/logpipe
    13  if [[ ! -p ${logpipe} ]]; then
    14      mkfifo ${logpipe}
    15  fi
    16  
    17  # Kill process 1 + process group if this exist or fails
    18  trap "trap - SIGTERM && kill -- -1" SIGINT SIGTERM EXIT SIGHUP SIGQUIT
    19  
    20  cat < ${logpipe}