Configuration à la PHP: Difference between revisions
Jump to navigation
Jump to search
imported>Johayek mNo edit summary |
imported>Johayek mNo edit summary |
||
| Line 19: | Line 19: | ||
$ php -c $HOME/public_html/cgi-bin/php.ini dumpBackup.php --full \ | $ php -c $HOME/public_html/cgi-bin/php.ini dumpBackup.php --full \ | ||
--output=gzip:$HOME/www/tmp/ | --output=gzip:$HOME/www/tmp/MediaWikiDump.$(date +'%Y%m%d%H%M%S').xml.gz | ||
[[Category:ToBeExported]] | [[Category:ToBeExported]] | ||
Latest revision as of 02:56, 29 January 2015
php.ini for web applications
[edit | edit source]- $HOME/public_html/cgi-bin/php.ini – my web-space provider created this file for me (of course with reasonable port numbers, and $HOME was also properly expanded):
mysql.default_port=____ mysql.default_socket=$HOME/mysql/mysql.sock mysqli.default_port=____ mysqli.default_socket=$HOME/mysql/mysql.sock
The path is probably hard-wired into the PHP interpreter.
php.ini for command line applications
[edit | edit source]If you call php on a command line, you can tell it, which php.ini to use throught option -c:
$ php -c $HOME/public_html/cgi-bin/php.ini …
This way you can tell the usual MediaWiki PHP utilitiies their system settings:
$ php -c $HOME/public_html/cgi-bin/php.ini dumpBackup.php --full \
--output=gzip:$HOME/www/tmp/MediaWikiDump.$(date +'%Y%m%d%H%M%S').xml.gz