Différences entre les versions de « Ubuntu »

Aller à la navigation Aller à la recherche
330 octets ajoutés ,  29 septembre 2020 à 17:52
Ligne 23 : Ligne 23 :
*https://maps.extension.wiki/wiki/Installation
*https://maps.extension.wiki/wiki/Installation


=== Mise à jour ===
===Mise à jour===


* https://www.mediawiki.org/wiki/Download_from_Git#Keeping_up_to_date
*Mediawiki : https://www.mediawiki.org/wiki/Download_from_Git#Keeping_up_to_date
*Extensions :
 
For anonymous checkout of the stable branch instead, use these commands:
cd /path/to/extensions
git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/extensions/</nowiki><EXT> --branch REL1_35
Pour VisualEditor, après cela :
cd VisualEditor
git submodule update --init
 
* Pareil pour les skins.


==Mise à jour de 18.04 vers 20.04==
==Mise à jour de 18.04 vers 20.04==
5 431

modifications

Les cookies nous aident à fournir nos services. En utilisant nos services, vous acceptez notre utilisation des cookies.

Menu de navigation