Admin Wiki : Différence entre versions
De erg
Ligne 1 : | Ligne 1 : | ||
− | wiki. | + | 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 | + | 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). |
+ | 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: | ||
+ | |||
+ | <pre> | ||
+ | ssh -p 3265 user@wiki.erg.be | ||
+ | </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> | ||
+ | |||
+ | Quand vous arrivez à votre $HOME, regarder ci-dessous pour voir le chemin vers le site: | ||
== FileSystem du site == | == FileSystem du site == | ||
Ligne 9 : | Ligne 19 : | ||
/var/www/html # pour la redirection vers `m` | /var/www/html # pour la redirection vers `m` | ||
− | /var/www/wiki. | + | /var/www/wiki.eeeerrrrrrrgggg.be/public_html/ # dossier contenant tout le site |
− | /var/www/wiki. | + | /var/www/wiki.eeeerrrrrrrgggg.be/public_html/m # dossier de la carte en D3.js |
− | /var/www/wiki. | + | /var/www/wiki.eeeerrrrrrrgggg.be/public_html/mw # dossier du mediawiki |
Ligne 21 : | Ligne 31 : | ||
</pre> | </pre> | ||
− | == CONFIG Modifié pendant | + | |
+ | == 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 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 à toute les page de la wiki.?js |
Version du 22 janvier 2024 à 16:02
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é à eeeerrrrrrrggggnomade,(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 connection 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/ # point de départ du dossier de travail /var/www/html # pour la redirection vers `m` /var/www/wiki.eeeerrrrrrrgggg.be/public_html/ # dossier contenant tout le site /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 ./m/dist/ # le js de la carte, a été modifié à la main dans le passé par Stephanie ./mw/extension # pour les extension ./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 de la wiki.?js $wgGroupPermissions['user']['editinterface'] = true; # tout les utilisateurices peuvent edit les pages d'<C2>dition de l'interface, comme Common.css # ____ Maintenance ____ # $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.