Admin Wiki

wiki.erg.be est hosté chez ...., sur une machine Debian.

Pour s'y connecter, on doit d'abord avoir un compte et un $HOME sur le serveur. Pour cela, s'en référé à Utilisateur:Maxime erg nomade,(2024).

FileSystem du site

/var/www/						# point de départ du dossier de travail
/var/www/html 						# pour la redirection vers `m`

/var/www/wiki.erg.be/public_html/ 			# dossier contenant tout le site
/var/www/wiki.erg.be/public_html/m 			# dossier de la carte en D3.js
/var/www/wiki.erg.be/public_html/mw 			# dossier du mediawiki


./m/dist/ 						# le js de la carte, a été modifié à la main dans le passé par Stephanie

./mw/extension						# pour les extension
./mw/skins/foreground 					# thème de base modifié par l'équipe
./mw/skins/foreground/assets/fonts 			# pour les typo

CONFIG Modifié pendant le workshop

$wgUseSiteJs=true;					# Cela permet d'activer une page qui s'appelle MediaWikiCommon.js qui permet de définir du javascript commun à toute les page de la wiki.?js
$wgGroupPermissions['user']['editinterface'] = true;	# tout les utilisateurices peuvent edit les pages d'<C2>dition de l'interface, comme Common.css
# ____ Maintenance ____
# $wgReadOnly = "Operation de maintenance. Creation d'un dump de la base de donnee. L'acces au wiki sera reinstaure sous peu.";

Ligne qui permet de bloquer la base donnée avant de faire un dump de la sql.