Modifications

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>

* 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>

=Peertube=

=Peertube=