|
@ -3,6 +3,7 @@ |
|
|
# NOTE: At the moment, this has only been confirmed to work with PHP 7 |
|
|
# NOTE: At the moment, this has only been confirmed to work with PHP 7 |
|
|
|
|
|
|
|
|
PHP_VERSION=$2 # Without dot |
|
|
PHP_VERSION=$2 # Without dot |
|
|
|
|
|
WITH_PROFILER=$3 |
|
|
|
|
|
|
|
|
# Grab full name of workspace container |
|
|
# Grab full name of workspace container |
|
|
WORKSPACE_CONTAINER=$(docker ps | grep workspace${PHP_VERSION} | awk '{print $1}') |
|
|
WORKSPACE_CONTAINER=$(docker ps | grep workspace${PHP_VERSION} | awk '{print $1}') |
|
@ -12,6 +13,10 @@ if [[ -z "${WORKSPACE_CONTAINER}" ]]; then |
|
|
exit 1 |
|
|
exit 1 |
|
|
fi |
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
if [[ ! -z "${WITH_PROFILER}" ]]; then |
|
|
|
|
|
echo "With profiler option". |
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
xdebug_status () |
|
|
xdebug_status () |
|
|
{ |
|
|
{ |
|
|
echo 'xDebug status' |
|
|
echo 'xDebug status' |
|
|