bin/merge-APT-overlays

   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") BRANCH"
  12
  13 [ $# -eq 1 ] || error "$USAGE"
  14
  15 BRANCH="$1"
  16
  17 ### Merge the APT overlays in reprepro
  18
  19 git checkout "$BRANCH"
  20 for overlay in config/APT_overlays.d/* ; do
  21     # handle the case when there is no overlay
  22     [[ -e "$overlay" ]] || break
  23     # shellcheck disable=SC2029
  24     if ! ssh reprepro@incoming.deb.tails.boum.org \
  25          tails-merge-suite "$(basename "${overlay}")" "$BRANCH" ; then
  26         error "Failed to merge '$overlay' into '$BRANCH': $?"
  27     fi
  28 done
  29
  30 ### Empty config/APT_overlays.d/
  31
  32 git checkout "$BRANCH"
  33 find config/APT_overlays.d -type f -not -name .placeholder -exec git rm '{}' \;
  34 git commit config/APT_overlays.d/ \
  35     -m "Empty the list of APT overlays: they were merged" || :
  36
  37 ### Push the Git branch
  38
  39 git push origin "${BRANCH}:${BRANCH}"