bin/update-trace-time

   1 #!/bin/bash
   2
   3 set -eu
   4 set -x
   5
   6 error () {
   7     echo "error: ${*}" >&2
   8     exit 1
   9 }
  10
  11 USAGE="Usage: $(basename "$0") MESSAGE"
  12
  13 [ $# -eq 1 ] || error "$USAGE"
  14
  15 MESSAGE="$1"
  16
  17 TRACE_TIME=$(date +%s)
  18
  19 echo "${TRACE_TIME:?}" \
  20     | ssh rsync.lizard sudo tee /srv/rsync/tails/tails/project/trace
  21
  22 echo "${TRACE_TIME:?}" > "${MASTER_CHECKOUT:?}/wiki/src/inc/trace"
  23 (
  24     set -eux
  25     cd "${MASTER_CHECKOUT:?}"
  26     git pull
  27     git commit wiki/src/inc/trace -m "$MESSAGE"
  28     git push origin master
  29 )