pile

Not quite a web "stack"; more orderly than a web "heap", hopefully?
git clone https://git.kevinlegouguec.net/pile
Log | Files | Refs

post-receive (470B)

      1 #!/bin/bash
      2 
      3 set -eu
      4 
      5 declare -r SCRIPTS_DIR=$(dirname "$(realpath "$0")")
      6 . "${SCRIPTS_DIR}"/settings
      7 . "${SCRIPTS_DIR}"/tools.env
      8 
      9 declare -r WWW_REPO_DIR=$(git remote get-url www)
     10 
     11 v () {( set -x ; "$@" )}
     12 
     13 v git push --force --mirror www
     14 
     15 cd "${WWW_REPO_DIR}"
     16 v git update-server-info
     17 v stagit "${PWD}"
     18 
     19 cd ..
     20 # TODO bash≥4.4: readarray -d '' < <(dirname -z */HEAD)
     21 v find -name HEAD -exec dirname -z '{}' '+' | sort -z |
     22     v xargs -t0 stagit-index > index.html