archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-20 01:14:28 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

add source command

Browse source
This commit is contained in:
krakjoe 2013-11-25 16:39:14 +00:00
parent 36c09510fb
commit 3078834098
4 changed files with 29 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
phpdbg_help.c
View file

@ -501,6 +501,19 @@ PHPDBG_HELP(register) /* {{{ */
return SUCCESS;
} /* }}} */
PHPDBG_HELP(source) /* {{{ */
{
phpdbg_help_header();
phpdbg_writeln("Sourcing a phpdbginit during your debugging session might save some time");
phpdbg_writeln(EMPTY);
phpdbg_notice("Examples");
phpdbg_writeln("\t%ssource /my/phpdbginit", PROMPT);
phpdbg_writeln("\t%s. /my/phpdbginit", PROMPT);
phpdbg_writeln("\tWill execute the init file at /my/phpdbginit");
phpdbg_help_footer();
return SUCCESS;
} /* }}} */
PHPDBG_HELP(shell) /* {{{ */
{
phpdbg_help_header();