Actions

Admin Wiki : Différence entre versions

De erg

(→‎FileSystem du site)
 
(26 révisions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
−
wiki.eeeerrrrrrrgggg.be est hosté chez ...., 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é à [[Utilisateur:Maxime|eeeerrrrrrrggggnomade]],(2024).
+
==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|erg nomade]],(2024).
 +
 
 
Ensuite, on a besoin d'une clé SSH qui va permettre de se connecter à son comptes sur la machine Debian.  
 
Ensuite, on a besoin d'une clé SSH qui va permettre de se connecter à son comptes sur la machine Debian.  
  
Ligne 7 : Ligne 11 :
  
 
<pre>
 
<pre>
−
ssh -p 3265 user@wiki.eeeerrrrrrrgggg.be
+
ssh -p 3265 user@wiki.erg.be
 
</pre>
 
</pre>
  
−
Pour une connection via sFTP, avec Filezilla par exemple, prenez en compte le port SSH non standard et votre clé ssh privée.  (celle sans extension <code>.pub</code>
+
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 <code>.pub</code>)
  
 
Quand vous arrivez à votre $HOME, regarder ci-dessous pour voir le chemin vers le site:
 
Quand vous arrivez à votre $HOME, regarder ci-dessous pour voir le chemin vers le site:
  
−
== FileSystem du site ==
+
== File System 🗂️ du site ==
−
<pre>
+
 
 +
{| class="sortable"
 +
|-
 +
| Le '''dossier racine''' contenant tout le site || <pre>/var/www/wiki.erg.be/public_html/</pre>
 +
|-
 +
| Le dossier de la carte en D3.js : || <pre>/var/www/wiki.erg.be/public_html/m</pre>
 +
|-
 +
| Le fichier <code>css</code> pour la carte : || <pre>./m/style.css</pre>
 +
|-
 +
| Le js de la carte, a été modifié à la main dans le passé par [[Stéphanie Vilayphiou]]: || <pre>./m/dist/</pre>
 +
|-
 +
| Le dossier du MediaWiki : || <pre>/var/www/wiki.erg.be/public_html/mw</pre>
 +
|-
 +
| Le dossier pour les extensions : || <pre>./mw/extension</pre>
 +
|-
 +
| Le thème de base modifié par l'équipe : || <pre>./mw/skins/foreground</pre>
 +
|-
 +
| Le dossier pour les typos : || <pre>./mw/skins/foreground/assets/fonts</pre>
 +
|-
 +
| Le dossier pour les ressources du wiki, type image, logo, vidéo, externe, etc : || <pre>./mw/resources/assets</pre>
 +
 
 +
|}
  
−
/var/www/wiki.eeeerrrrrrrgggg.be/public_html/ # dossier contenant tout le site
+
Note: <code> ./</code> indique que c'est dans le dossier actuel (dans ce cas, public_html).
−
/var/www/wiki.eeeerrrrrrrgggg.be/public_html/m # dossier de la carte en D3.js
 
−
/var/www/wiki.eeeerrrrrrrgggg.be/public_html/mw # dossier du mediawiki
 
  
 +
== Configuration du Mediawiki==
  
−
./m/dist/ # le js de la carte, a été modifié à la main dans le passé par Stephanie
+
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 [https://www.mediawiki.org/wiki/Manual:Interface/Sidebar| Interface/Sidebar]
  
−
./mw/extension # pour les extension
+
=== LocalSettings.php ===
−
./mw/skins/foreground # thème de base modifié par l'équipe
 
−
./mw/skins/foreground/assets/fonts # pour les typo
 
  
−
</pre>
 
  
−
== CONFIG Modifié pendant [[Workshop : WIKI MAINTENANCE]] ==
+
==== CONFIG Modifié pendant [[Workshop : WIKI MAINTENANCE]] 🦺====
 +
<code>LocalSettings.php</code>
 
<pre>
 
<pre>
−
$wgUseSiteJs=true; # Cela permet d'activer une page qui s'appelle MediaWikiCommon.js qui permet de définir du javascript commun à toute les page de la wiki.?js
+
$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
 +
 
  
−
$wgGroupPermissions['user']['editinterface'] = true; # tout les utilisateurices peuvent edit les pages d'<C2>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
  
−
# $wgReadOnly = "Operation de maintenance. Creation d'un dump de la base de donnee. L'acces au wiki sera reinstaure sous peu.";            # Ligne qui permet de bloquer la base donnée avant de faire un dump de la sql.
 
−
                            # c'est important de garder cette commenté pour que la base de donnée soit éditable.
 
 
</pre>
 
</pre>

Version actuelle datée du 20 novembre 2024 à 17:50

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 fichier css pour la carte : 
./m/style.css
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 typos : 
./mw/skins/foreground/assets/fonts
Le dossier pour les ressources du wiki, type image, logo, vidéo, externe, etc : 
./mw/resources/assets

Note: ./ indique que c'est dans le dossier actuel (dans ce cas, public_html).

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
Récupérée de « https://wiki.erg.be/mw/index.php?title=Admin_Wiki&oldid=23447 »