Skip to content

Instantly share code, notes, and snippets.

@mpdude
Last active July 12, 2018 08:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mpdude/3c7d1529f135ade5492a63992d30a1ba to your computer and use it in GitHub Desktop.
Save mpdude/3c7d1529f135ade5492a63992d30a1ba to your computer and use it in GitHub Desktop.
/usr/local/bin/pp
#!/bin/bash -e
pushd . > /dev/null
INTERPRETER=/usr/bin/php
while [ "`pwd`" != "/" ]; do
if [ -x ./bin/php ]; then
INTERPRETER=`pwd`/bin/php
break
fi
cd ..
done
popd > /dev/null
exec $INTERPRETER "$@"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment