322
modifications
Modifications
Sauter à la navigation
Sauter à la recherche
Ligne 1 :
Ligne 1 : + − connexion à l'utilisateur + − − − − − − − − − − − − − − − − exit
Explications techniques de Moun Fou - Résonances (voir la source)
Version du 13 février 2021 à 11:10
, 13 février 2021 à 11:10aucun résumé de modification
=Wiki=
=Wiki=
Utilisation de [[mediawikiwiki:MediaWiki/fr|MediaWiki]]. Intégration de différentes extensions dans le dossier <code>extensions</code> ([[mediawikiwiki:Extension:Approved_Revs|Approved Rev]] [[mediawikiwiki:Extension:MobileFrontend|MobileFrontend]] [[mediawikiwiki:VisualEditor|VisualEditor]]) et d'habillages au dossier <code>skins</code> ([[mediawikiwiki:Skin:Minerva_Neue|MinervaNeue]])
Utilisation de [[mediawikiwiki:MediaWiki/fr|MediaWiki]]. Intégration de différentes extensions dans le dossier <code>extensions</code> ([[mediawikiwiki:Extension:Approved_Revs|Approved Rev]] [[mediawikiwiki:Extension:MobileFrontend|MobileFrontend]] [[mediawikiwiki:VisualEditor|VisualEditor]]) et d'habillages au dossier <code>skins</code> ([[mediawikiwiki:Skin:Minerva_Neue|MinervaNeue]])
L'activation des extensions se fait dans le Dossier <code>LocalSettings.php</code> avec [https://filezilla-project.org/ FileZilla] dans un dossier d'un propriétaire1 où la copie est possible. Ensuite elle est transférée via [https://git-scm.com/ Git] en suivant les commandes suivantes :
L'activation des extensions se fait dans le Dossier <code>LocalSettings.php</code> avec [https://filezilla-project.org/ FileZilla] dans un dossier d'un propriétaire1 où la copie est possible. Ensuite elle est transférée via [https://git-scm.com/ Git] en suivant les commandes suivantes :
Connexion au propriétaire1 <blockquote><code>$ ssh nomd'utilsateur@ipduserver -p numéro du port</code></blockquote>Permission au fichier <code>LocalSettings.php</code> pour être copié dans le dossier d'un autre propriétaire. <blockquote><code>$ sudo chown proprietaire2 LocalSettings.php</code></blockquote>Copie dans le dossier originel de <code>LocalSettings.php</code><blockquote><code>$ sudo -u cp LocalSettings.php /var/www-data/mediawiki/wiki</code></blockquote>Suppression du <code>LocalSettings.php</code> dans le dossier propriétaire1.<blockquote><code>$ sudo rm LocalSettings.php</code></blockquote>
<code>$ ssh nomd'utilsateur@ipduserver -p numéro du port</code>
Permission au fichier <code>LocalSettings.php</code> pour être copié dans le dossier d'un autre propriétaire.
<code>$ sudo chown proprietaire2 LocalSettings.php</code>
Copie dans le dossier originel de <code>LocalSettings.php</code>
<code>$ sudo -u cp LocalSettings.php /var/www-data/mediawiki/wiki</code>
Suppression du <code>LocalSettings.php</code> dans le dossier propriétaire.
<code>$ sudo rm LocalSettings.php</code>
=Peertube=
=Peertube=