Admin Wiki : Différence entre versions
De erg
(→CONFIG Modifié pendant Workshop : WIKI MAINTENANCE) |
(→FileSystem du site) |
||
Ligne 18 : | Ligne 18 : | ||
/var/www/wiki.erg.be/public_html/ # dossier **raçine** contenant tout le site | /var/www/wiki.erg.be/public_html/ # dossier **raçine** contenant tout le site | ||
+ | </pre> | ||
+ | <pre> | ||
/var/www/wiki.erg.be/public_html/m # dossier de la carte en D3.js | /var/www/wiki.erg.be/public_html/m # dossier de la carte en D3.js | ||
+ | </pre> | ||
+ | <pre> | ||
/var/www/wiki.erg.be/public_html/mw # dossier du mediawiki | /var/www/wiki.erg.be/public_html/mw # dossier du mediawiki | ||
− | + | </pre> | |
− | + | <pre> | |
./m/dist/ # le js de la carte, a été modifié à la main dans le passé par [[Stéphanie Vilayphiou]] | ./m/dist/ # le js de la carte, a été modifié à la main dans le passé par [[Stéphanie Vilayphiou]] | ||
− | + | </pre> | |
+ | <pre> | ||
./mw/extension # pour les extensions | ./mw/extension # pour les extensions | ||
+ | </pre> | ||
+ | <pre> | ||
./mw/skins/foreground # thème de base modifié par l'équipe | ./mw/skins/foreground # thème de base modifié par l'équipe | ||
+ | </pre> | ||
+ | <pre> | ||
./mw/skins/foreground/assets/fonts # pour les typo | ./mw/skins/foreground/assets/fonts # pour les typo | ||
− | |||
</pre> | </pre> | ||
− | |||
== Configuration du Mediawiki== | == Configuration du Mediawiki== |
Version du 23 janvier 2024 à 15:44
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:
FileSystem du site
/var/www/wiki.erg.be/public_html/ # dossier **raçine** 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 [[Stéphanie Vilayphiou]]
./mw/extension # pour les extensions
./mw/skins/foreground # thème de base modifié par l'équipe
./mw/skins/foreground/assets/fonts # pour les typo
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
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 page 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