Admin Wiki : Différence entre versions

Version du 24 janvier 2024 à 10:28

Sommaire

1 INTRO 😶‍🌫️
2 File System 🗂️ du site
3 Configuration du Mediawiki

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:

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

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

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

@@ Ligne 60 : / Ligne 60 : @@
 * [[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 contrôler les menu dans la bar de navigation.
+* [[MediaWiki:Sidebar]] permettant de paramétrer les menues dans la bar de navigation.
 ** Documentation [https://www.mediawiki.org/wiki/Manual:Interface/Sidebar| Interface/Sidebar]
@@ Ligne 69 : / Ligne 69 : @@
 <code>LocalSettings.php</code>
 <pre>
-$wgUseSiteJs=true;					# Cela permet d'activer une page qui s'appelle MediaWikiCommon.js qui permet de définir du javascript commun à toutes les page du wiki.
+$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