Différences entre les versions de « Ubuntu »

Aller à la navigation Aller à la recherche
15 octets ajoutés ,  30 juin 2020 à 09:10
aucun résumé de modification
Ligne 14 : Ligne 14 :


  git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/skins/Vector</nowiki> --branch REL1_34
  git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/skins/Vector</nowiki> --branch REL1_34
Pour l'installation de toutes les extensions :
Pour l'installation des extensions :


*aller dans le dossier /extensions :
* se déplacer vers le dossier /extensions et lancer :
 
git submodule update --init --recursive
Pour l'installation de Maps :
 
* https://maps.extension.wiki/wiki/Installation


git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/extensions</nowiki> --branch REL1_34 --depth=1
<br />
==Mise à jour de 18.04 vers 20.04==
==Mise à jour de 18.04 vers 20.04==


5 389

modifications

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

Menu de navigation