list

scripts

Repo containing scripts to be used with dovel, and git hooks that powers our web interface.

curl https://dovel.email/scripts.tar tar

post-receive-scripts

  1. #!/bin/sh
  2. #for debugging
  3. #set -ex
  4. echo "copying scritps"
  5. TMP="$(mktemp -d)"
  6. git --work-tree="$TMP" checkout -f main
  7. # copy main scripts to projects
  8. for dir in ../*
  9. do
  10. cp "$TMP/post-receive" "$dir/hooks/"
  11. cp "$TMP/aux.sh" "$dir/hooks/"
  12. done
  13. # copy dovel hook
  14. cp "$TMP/receive-dovel.email" "$HOME/.config/dovel/hooks/"
  15. cp "$TMP/aux.sh" "$HOME/.config/dovel/hooks/"
  16. # for this repo copy scripts
  17. mv hooks/post-receive hooks/post-receive-all
  18. cp "$TMP/post-receive-scripts" hooks/post-receive
  19. echo "cleaning up TMP"
  20. rm -fr "$TMP"
  21. echo "running post-receive-all"
  22. . hooks/post-receive-all