Actions

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 :


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