Admin Wiki : Différence entre versions
De erg
| Ligne 1 : | Ligne 1 : | ||
| − | wiki. | + | 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| | + | 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 7 : | Ligne 7 : | ||
<pre> | <pre> | ||
| − | ssh -p 3265 user@wiki. | + | ssh -p 3265 user@wiki.erg.be |
</pre> | </pre> | ||
| Ligne 17 : | Ligne 17 : | ||
<pre> | <pre> | ||
| − | /var/www/wiki. | + | /var/www/wiki.erg.be/public_html/ # dossier contenant tout le site |
| − | /var/www/wiki. | + | /var/www/wiki.erg.be/public_html/m # dossier de la carte en D3.js |
| − | /var/www/wiki. | + | /var/www/wiki.erg.be/public_html/mw # dossier du mediawiki |
| Ligne 32 : | Ligne 32 : | ||
== CONFIG Modifié pendant [[Workshop : WIKI MAINTENANCE]] == | == CONFIG Modifié pendant [[Workshop : WIKI MAINTENANCE]] == | ||
<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 | + | $wgUseSiteJs=true; # Cela permet d'activer une page qui s'appelle MediaWikiCommon.js qui permet de définir du javascript commun à toute les page du wiki. |
$wgGroupPermissions['user']['editinterface'] = true; # toustes les utilisateurices peuvent éditer les pages d'<C2>dition de l'interface, comme Common.css | $wgGroupPermissions['user']['editinterface'] = true; # toustes les utilisateurices peuvent éditer les pages d'<C2>dition de l'interface, comme Common.css | ||
Version du 23 janvier 2024 à 14:33
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 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
CONFIG Modifié pendant Workshop : WIKI MAINTENANCE
$wgUseSiteJs=true; # Cela permet d'activer une page qui s'appelle MediaWikiCommon.js qui permet de définir du javascript commun à toute les page du wiki.
$wgGroupPermissions['user']['editinterface'] = true; # toustes les utilisateurices peuvent éditer les pages d'<C2>dition de l'interface, comme Common.css
# $wgReadOnly = "Opération de maintenance. Création d'un dump 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 un dump de la sql.
# c'est important de garder cette commenté pour que la base de donnée soit éditable.