Actions

Admin Wiki : Différence entre versions

De erg

(INTRO 😶‍🌫️)
(File System 🗂️ du site)
Ligne 20 : Ligne 20 :
 
== File System 🗂️ du site ==
 
== File System 🗂️ du site ==
 
Le '''dossier racine''' contenant tout le site:
 
Le '''dossier racine''' contenant tout le site:
<pre>
+
 
/var/www/wiki.erg.be/public_html/
 
</pre>
 
 
Le dossier de la carte en D3.js:
 
Le dossier de la carte en D3.js:
 
<pre>
 
<pre>
Ligne 54 : Ligne 52 :
 
./mw/resources/assets          
 
./mw/resources/assets          
 
</pre>
 
</pre>
 +
 +
 +
{| class="sortable"
 +
|-
 +
| Le '''dossier racine''' contenant tout le site || <pre>
 +
/var/www/wiki.erg.be/public_html/
 +
</pre>
 +
|-
 +
| 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==
 
== Configuration du Mediawiki==

Version du 4 avril 2024 à 16:28

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 :

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