User:Greudin

Salut,

Currently operating:
 * 1) 1 mediawiki svn + mysql Ubuntu server like farm wiki (see wiki family)
 * 2) 1 local mediawiki svn + postgresql
 * 3) 1 mediawiki 1.9.3 + mysql FreeBSD server
 * 4) 1 mediawiki 1.10.0 + postgresql Debian server

must have extensions

 * Extension:SyntaxHighlight GeSHi

libs_mediawiki_extensions_add.sh
$ libs_mediawiki_extensions_add.sh SyntaxHighlight_GeSHi
 * 1) check your PATH, echoing $PATH must show /home/YOURLOGIN/bin.
 * 2) alter DIR_EXTENSIONS, it's the folder where extensions are
 * 3) put this file into your home ~/bin/libs_mediawiki_extensions_add.sh
 * 4) chmod u+x it
 * 5) launch it from the root dir of your new wiki where LocalSettings.php *is*, for example:

libs_mediawiki_extensions_update.sh
It updates all extensions

Wikimedia sync script
Sync your wiki with wikimedia ones :
 * Wikimedia sync script

voir aussi

 * Help:Configuration settings
 * w:b:fr:MediaWiki
 * w:fr:utilisateur:Greudin

Cordialement, G.