← 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. 

  2. 

  3. #for debugging
    4. 

  4. #set -ex
    5. 

  5. 

  6. echo "copying scritps"
    7. 

  7. TMP="$(mktemp -d)"
    8. 

  8. git --work-tree="$TMP" checkout -f main
    9. 

  9. 

  10. # copy main scripts to projects
    11. 

  11. for dir in ../*
    12. 

  12. do
    13. 

  13. 	cp "$TMP/post-receive" "$dir/hooks/" 
    14. 

  14. 	cp "$TMP/aux.sh" "$dir/hooks/" 
    15. 

  15. done
    16. 

  16. 

  17. # copy dovel hook
    18. 

  18. cp "$TMP/receive-dovel.email" "$HOME/.config/dovel/hooks/"
    19. 

  19. cp "$TMP/aux.sh" "$HOME/.config/dovel/hooks/" 
    20. 

  20. 

  21. # for this repo copy scripts
    22. 

  22. mv hooks/post-receive hooks/post-receive-all
    23. 

  23. cp "$TMP/post-receive-scripts" hooks/post-receive
    24. 

  24. 

  25. echo "cleaning up TMP"
    26. 

  26. rm -fr "$TMP"
    27. 

  27. 

  28. echo "running post-receive-all"
    29. 

  29. . hooks/post-receive-all
    30.