Guest User

Untitled

a guest
Oct 21st, 2018
81
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.13 KB | None | 0 0
  1. #!/bin/sh
  2.  
  3. set -e
  4.  
  5. # first arg is `-f` or `--some-option`
  6. if [ "${1#-}" != "$1" ]; then
  7. set -- php-fpm "$@"
  8. fi
  9.  
  10. exec "$@"
Add Comment
Please, Sign In to add comment