Admin Wiki

INTRO 😶‍🌫️

wiki.erg.be est hébergé chez [XXX], 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é à erg-nomade,(2024).

Ensuite, on a besoin d'une clé SSH qui va permettre de se connecter à son comptes sur la machine Debian.

La commande SSH est la suivante:

ssh -p 3265 user@wiki.erg.be

Pour une connexion via sFTP, avec Filezilla par exemple, prenez en compte le port SSH non standard et votre clé SSH privée. (celle sans extension .pub)

Quand vous arrivez à votre $HOME, regarder ci-dessous pour voir le chemin vers le site:

File System 🗂️ du site

Le dossier racine contenant tout le site:

Le dossier de la carte en D3.js:

/var/www/wiki.erg.be/public_html/m 			

Le js de la carte, a été modifié à la main dans le passé par Stéphanie Vilayphiou

./m/dist/ 						        

Le dossier du mediawiki:

/var/www/wiki.erg.be/public_html/mw 			

Le dossier pour les extensions :

./mw/extension						        

Le thème de base modifié par l'équipe

./mw/skins/foreground 					        

Le dossier pour les typo

./mw/skins/foreground/assets/fonts 			        

Le dossier pour les ressources du wiki, type image, logo, vidéo externe etc

./mw/resources/assets		        

Le dossier racine contenant tout le site	/var/www/wiki.erg.be/public_html/
Texte de la cellule	Texte de la cellule
Texte de la cellule	Texte de la cellule
Texte de la cellule	Texte de la cellule
Texte de la cellule	Texte de la cellule
Texte de la cellule	Texte de la cellule

Configuration du Mediawiki

On peut manipuler plein de fichier de configuration du MediaWiki depuis le wiki même :

• MediaWiki:Foreground.css, qui permet de modifier le skin foreground, le thème officiel du wiki.
• MediaWiki:Common.css permettant d'ajouter du CSS à toutes les pages.
• MediaWiki:Common.js permettant d'ajouter du JAVASCRIPT à toutes les pages.
• MediaWiki:Sidebar permettant de paramétrer les menues dans la bar de navigation.
  • Documentation Interface/Sidebar

LocalSettings.php

CONFIG Modifié pendant Workshop : WIKI MAINTENANCE 🦺

LocalSettings.php

$wgUseSiteJs=true;					# Cela permet d'activer une page qui s'appelle MediaWikiCommon.js qui permet de définir du JavaScript commun à toutes les pages du wiki.

$wgGroupPermissions['user']['editinterface'] = true;	# toustes les utilisateurices peuvent éditer les pages d'édition de l'interface, comme Common.css


# $wgReadOnly = "Opération de maintenance. Création d'une sauvegarde de la base de donnée. L’accès au wiki sera restauré sous peu.";
             
                                                        # Ligne qui permet de bloquer la base donnée avant de faire une sauvegarde de la SQL.
                                                        # C'est important de garder ces lignes commentées pour que la base de donnée soit éditable. 

$wgAllowExternalImages = true;                          # autorise des images externes
                                                        # https://www.mediawiki.org/wiki/Manual:$wgAllowExternalImages