Différences entre les versions de « Ubuntu »

Aller à la navigation Aller à la recherche
Ligne 21 : Ligne 21 :
*se déplacer vers le dossier /extensions et lancer :
*se déplacer vers le dossier /extensions et lancer :


git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/extensions</nowiki> --branch REL1_35
  git submodule update --init --recursive
  git submodule update --init --recursive
Pour l'installation de Maps :
Pour l'installation de Maps :
Récupérée de « https://dieudo.fr/wiki/Ubuntu »