diff options
| author | Ondřej Surý <ondrej@sury.org> | 2013-07-11 13:51:10 +0200 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2013-07-11 13:57:17 +0200 |
| commit | 9cca6a7b59225e48e7036c5e92cfc1a69d882cad (patch) | |
| tree | 3aed2893744f73c863f717cde91a743ceb86d517 /debian/php5-module.bug.script | |
| parent | 376719643743b2c7f376b7f2b92bd13db439a434 (diff) | |
| download | php-9cca6a7b59225e48e7036c5e92cfc1a69d882cad.tar.gz | |
Various fixes in reportbug scripts
Diffstat (limited to 'debian/php5-module.bug.script')
| -rwxr-xr-x | debian/php5-module.bug.script | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/debian/php5-module.bug.script b/debian/php5-module.bug.script index 42f24231a..3c672ed97 100755 --- a/debian/php5-module.bug.script +++ b/debian/php5-module.bug.script @@ -1,17 +1,18 @@ #!/bin/sh echo "==== Additional PHP 5 information ====" >&3 -echo "" > &3 -echo "PHP 5 SAPI (php5query -S):" >&3 +echo "" >&3 +echo "++++ PHP 5 SAPI (php5query -S): ++++" >&3 php5query -S >&3 -echo "" > &3 -echo "PHP 5 Extensions (php5query -M -v):" >&3 +echo "" >&3 +echo "++++ PHP 5 Extensions (php5query -M -v): ++++" >&3 php5query -M -v >&3 -echo "" > &3 +echo "" >&3 + echo "++++ Configuration files: ++++" >&3 for dsoname in @modules@; do inifile=${dsoname}.ini echo "**** /etc/php5/mods-available/$dsoname.ini ****" >&3 - cat "/etc/php5/mods-available/$dsoname.ini" > &3 - echo "" > &3 + cat "/etc/php5/mods-available/$dsoname.ini" >&3 + echo "" >&3 done |