2015-01-27 11:25:03 +00:00
|
|
|
#!/usr/bin/env bash
|
2015-01-14 14:42:43 +00:00
|
|
|
|
2017-12-08 17:30:50 +00:00
|
|
|
COMMAND=$1;
|
2015-01-27 11:25:03 +00:00
|
|
|
shift 1
|
2015-01-14 14:42:43 +00:00
|
|
|
|
2017-12-08 17:30:50 +00:00
|
|
|
if [ ! -f $COMMAND ]; then
|
|
|
|
|
COMMAND=`which ${COMMAND}`
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ ! -f "${COMMAND}" ]; then
|
|
|
|
|
echo "Usage: ${0} <command>"
|
|
|
|
|
exit 1;
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
PHP_IDE_CONFIG="serverName=local" XDEBUG_CONFIG="remote_enable=1 remote_mode=req remote_port=9000 remote_host=127.0.0.1 remote_connect_back=0" php -d zend_extension=xdebug.so $COMMAND "$@"
|
