2015-01-27 12:25:03 +01:00
|
|
|
#!/usr/bin/env bash
|
2015-01-14 15:42:43 +01:00
|
|
|
|
2022-01-06 18:36:49 +01:00
|
|
|
VERSION=$1
|
|
|
|
|
shift 1
|
|
|
|
|
|
2017-12-08 18:30:50 +01:00
|
|
|
COMMAND=$1;
|
2015-01-27 12:25:03 +01:00
|
|
|
shift 1
|
2015-01-14 15:42:43 +01:00
|
|
|
|
2017-12-08 18:30:50 +01:00
|
|
|
if [ ! -f $COMMAND ]; then
|
|
|
|
|
COMMAND=`which ${COMMAND}`
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ ! -f "${COMMAND}" ]; then
|
|
|
|
|
echo "Usage: ${0} <command>"
|
|
|
|
|
exit 1;
|
|
|
|
|
fi
|
|
|
|
|
|
2022-01-06 18:36:49 +01:00
|
|
|
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$VERSION -d zend_extension=xdebug.so $COMMAND "$@"
|
