Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- oldrev="$1"
- newrev="$2"
- # --- Safety check
- if [ -z "$GIT_DIR" ]; then
- echo "Don't run this script from the command line." >&2
- echo " (if you want, you could supply GIT_DIR then run" >&2
- echo " $0<oldrev> <newrev>)" >&2
- exit 1
- fi
- echo "[Composer]: $(composer --working-dir="$GIT_DIR/.." dump-autoload)"
- echo "[Cache]: flushing redis db 2 ... $(redis-cli -n 2 flushdb)"
- echo "[Cache]: cleaning filesystem cache ..."
- /usr/bin/find $(pwd)/temp/cache/ -name "_*" -type d -exec rm -rf {} \; 2> /dev/null
- /bin/rm -R $(pwd)/tests/tmp/*/ 2> /dev/null
- # /usr/local/bin/php $(pwd)/www/index.php orm:generate:proxies 1> $(pwd)/log/generate-proxies.log &
- # --- Finished
- exit 0
Advertisement
Add Comment
Please, Sign In to add comment