Admin Wiki : Différence entre versions
De erg
(→CONFIG Modifié pendant Workshop : WIKI MAINTENANCE) |
(→File System 🗂️ du site) |
||
| (17 révisions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| + | |||
| + | ==INTRO 😶🌫️ == | ||
| + | |||
wiki.erg.be est hébergé chez [XXX], sur une machine Debian. | 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é à [[Utilisateur:Maxime|erg-nomade]],(2024). | 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|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 10 : | Ligne 14 : | ||
</pre> | </pre> | ||
| − | 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> | + | 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: | ||
| − | == | + | == File System 🗂️ du site == |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| + | {| 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> | ||
| − | + | |} | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| + | Note: <code> ./</code> indique que c'est dans le dossier actuel (dans ce cas, public_html). | ||
== Configuration du Mediawiki== | == Configuration du Mediawiki== | ||
| Ligne 35 : | Ligne 48 : | ||
On peut manipuler plein de fichier de configuration du MediaWiki depuis le wiki même : | 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: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.css]] permettant d'ajouter du CSS à toutes les pages. |
| − | * [[MediaWiki:Common.js]] permettant d'ajouter du JAVASCRIPT à 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] | ||
| + | === LocalSettings.php === | ||
| − | == CONFIG Modifié pendant [[Workshop : WIKI MAINTENANCE]] == | + | |
| + | ==== CONFIG Modifié pendant [[Workshop : WIKI MAINTENANCE]] 🦺==== | ||
<code>LocalSettings.php</code> | <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 | + | $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; # toustes les utilisateurices peuvent éditer les pages d'édition de l'interface, comme Common.css | ||
| Ligne 51 : | Ligne 68 : | ||
# Ligne qui permet de bloquer la base donnée avant de faire une sauvegarde de la SQL. | # 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. | # 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 | ||
| + | |||
</pre> | </pre> | ||
Version actuelle datée du 4 avril 2024 à 15:36
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 :
- 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 Interface/Sidebar
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