fsfe-website/build/logging.sh

#!/usr/bin/env bash

inc_logging=true

logname(){
  name="$1"

  if [ -w "$statusdir" ] && touch "$statusdir/$name"; then
    echo "$statusdir/$name"
  elif echo "$forcedlog" |egrep -q "^${name}=.+"; then
    echo "$forcedlog" \
    | sed -rn "s;^${name}=;;p"
  else
    echo /dev/null
  fi
}

forcelog(){
  name="$1"

  [ "$(logname "$name")" = "/dev/null" ] \
  && forcedlog="$forcedlog\n${name}=$(mktemp -t w3bldXXXXXXXXX --suffix $$)"
}

[ -z "$USER" ] && USER="$(whoami)"
trap "trap - 0 2 3 6 9 15; find \"${TMPDIR:-/tmp}/\" -maxdepth 1 -user \"$USER\" -name \"w3bld*$$\" -delete" 0 2 3 6 9 15

logstatus(){
  # pipeline atom to write data streams into a log file
  tee "$(logname "$1")"
}

t_logstatus(){
  # pipeline atom to write data streams into a log file
  while read line; do
    printf "[$(date +%T)] %s\n" "$line"
  done |logstatus "$@"
}

logappend(){
  # pipeline atom to write data streams into a log file
  tee -a "$(logname "$1")"
}