Admin Wiki
De erg
Révision datée du 22 janvier 2024 à 15:55 par Theophile.gervreaumercier (discussion | contributions)
Révision datée du 22 janvier 2024 à 15:55 par Theophile.gervreaumercier (discussion | contributions)
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],(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.