From 7c731fa8fa6991af508a857433ff01964bc910ce Mon Sep 17 00:00:00 2001 From: Kaloyan Raev Date: Mon, 5 Dec 2016 16:37:24 +0200 Subject: [PATCH] Add "Run/Debug PHP script" commands to the PHP and Zend stacks Signed-off-by: Kaloyan Raev --- .../src/main/resources/stacks.json | 40 +++++++++++++++++-- 1 file changed, 36 insertions(+), 4 deletions(-) diff --git a/ide/che-core-ide-stacks/src/main/resources/stacks.json b/ide/che-core-ide-stacks/src/main/resources/stacks.json index 83448facb56..5040138ad87 100644 --- a/ide/che-core-ide-stacks/src/main/resources/stacks.json +++ b/ide/che-core-ide-stacks/src/main/resources/stacks.json @@ -590,7 +590,7 @@ "id": "php-default", "creator": "ide", "name": "PHP", - "description": "Default PHP Stack with PHP 5.5, most popular extensions and dockerimager.", + "description": "Default PHP Stack with PHP 5.6, most popular extensions and dockerimager.", "scope": "general", "tags": [ "Ubuntu", @@ -604,7 +604,7 @@ "components": [ { "name": "PHP", - "version": "5.5.9" + "version": "5.6.24" }, { "name": "Apache", @@ -651,6 +651,22 @@ "defaultEnv": "default", "description": null, "commands": [ + { + "name": "run php script", + "type": "custom", + "commandLine": "[ -z ${editor.current.file.path} ] && echo \"Open a PHP file in the editor before executing this command.\" || php ${editor.current.file.path}", + "attributes": { + "previewUrl": "" + } + }, + { + "name": "debug php script", + "type": "custom", + "commandLine": "[ -z ${editor.current.file.path} ] && echo \"Open a PHP file in the editor before executing this command.\" || QUERY_STRING=\"start_debug=1&debug_host=localhost&debug_port=10137\" php ${editor.current.file.path}", + "attributes": { + "previewUrl": "" + } + }, { "name": "start apache", "type": "custom", @@ -1858,11 +1874,11 @@ "components": [ { "name": "PHP", - "version": "7.0.6" + "version": "7.0.11" }, { "name": "Zend Server", - "version": "9.0.0" + "version": "9.0.1" }, { "name": "Composer", @@ -1897,6 +1913,22 @@ "defaultEnv": "default", "description": null, "commands": [ + { + "name": "run php script", + "type": "custom", + "commandLine": "[ -z ${editor.current.file.path} ] && echo \"Open a PHP file in the editor before executing this command.\" || php ${editor.current.file.path}", + "attributes": { + "previewUrl": "" + } + }, + { + "name": "debug php script", + "type": "custom", + "commandLine": "[ -z ${editor.current.file.path} ] && echo \"Open a PHP file in the editor before executing this command.\" || QUERY_STRING=\"start_debug=1&debug_host=localhost&debug_port=10137\" php ${editor.current.file.path}", + "attributes": { + "previewUrl": "" + } + }, { "name": "restart zend server", "type": "custom",