Travaux sur le wiki : Différence entre versions

De Open Source Ecologie
(Installer une extension)
Ligne 2 : Ligne 2 :
  
 
== Installer une extension ==
 
== Installer une extension ==
[https://www.mediawiki.org/wiki/Special:ExtensionDistributor]
+
Se connecter en SSH à la machine virtuelle MediaWiki, avec accès sudo (voir avec les administrateurs pour les droits et le détail de la manipulation). Commencer par se placer dans le répertoire /usr/share/mediawiki/extensions qui contient les extensions :
 +
 
 +
cd /usr/share/mediawiki/extensions
 +
 
 +
Se rendre sur la [https://www.mediawiki.org/wiki/Special:ExtensionDistributor page référençant les extensions], choisir son extension.
 +
Télécharger par le terminal l'extension désirée. Par exemple pour l'extension Visual Editor :
 +
 
 +
sudo wget -P . https://extdist.wmflabs.org/dist/extensions/VisualEditor-REL1_28-93528b7.tar.gz
 +
 
 +
Extraire l'extension dans le répertoire courant :
 +
 
 +
sudo tar -xzf VisualEditor-REL1_28-93528b7.tar.gz -C .
 +
 
 +
Supprimer l'archive de l'extension préalablement téléchargée :
 +
 
 +
sudo rm VisualEditor-REL1_28-93528b7.tar.gz
 +
 
 +
A ce stade, un ls devrait vous afficher un dossier contenant votre extension, sous forme d'un dossier.
 +
 
 +
Il reste maintenant à indiquer au serveur l'existence de cette extension. Pour se faire, nous allons devoir éditer le LocalSettings.php. Remontez d'un niveau dans l'arborescence :
 +
 
 +
cd ..
 +
 
 +
Commencez par faire un backup de ce fichier essentiel (en remplaçant les lettres capitales par la date courante) :
 +
 
 +
sudo cp LocalSettings.php LocalSettings.php_YYYYMMDD
  
 
== Configuration effectuée ==
 
== Configuration effectuée ==

Version du 13 juillet 2017 à 09:38

Voici une trace des modifications techniques appliquées à ce wiki en vu de le personnaliser pour nos besoins.

Installer une extension

Se connecter en SSH à la machine virtuelle MediaWiki, avec accès sudo (voir avec les administrateurs pour les droits et le détail de la manipulation). Commencer par se placer dans le répertoire /usr/share/mediawiki/extensions qui contient les extensions :

cd /usr/share/mediawiki/extensions

Se rendre sur la page référençant les extensions, choisir son extension. Télécharger par le terminal l'extension désirée. Par exemple pour l'extension Visual Editor :

sudo wget -P . https://extdist.wmflabs.org/dist/extensions/VisualEditor-REL1_28-93528b7.tar.gz

Extraire l'extension dans le répertoire courant :

sudo tar -xzf VisualEditor-REL1_28-93528b7.tar.gz -C .

Supprimer l'archive de l'extension préalablement téléchargée :

sudo rm VisualEditor-REL1_28-93528b7.tar.gz

A ce stade, un ls devrait vous afficher un dossier contenant votre extension, sous forme d'un dossier.

Il reste maintenant à indiquer au serveur l'existence de cette extension. Pour se faire, nous allons devoir éditer le LocalSettings.php. Remontez d'un niveau dans l'arborescence :

cd ..

Commencez par faire un backup de ce fichier essentiel (en remplaçant les lettres capitales par la date courante) :

sudo cp LocalSettings.php LocalSettings.php_YYYYMMDD

Configuration effectuée

A partir d'un mediawiki de base :

  • Passer le wiki de l'anglais au français

Problèmes à résoudre

Reste à faire

A traiter par le Cercle technologies de l'information @IT [1]

Voir Category:Travaux sur le wiki + :


  • @IT : RAS
  • @IT : RAS
  • @php : RAS
  • feedback
    MediaWiki Appliance - Powered by TurnKey Linux