Différences entre les versions de « Ubuntu »

Aller à la navigation Aller à la recherche
309 octets ajoutés ,  9 décembre 2020 à 10:38
aucun résumé de modification
Ligne 1 : Ligne 1 :
== Moniteur système ==
* "System monitor" : Lancement automatique au démarrage via l'application "Ajustements"
* Positionnement mémorisé de la fenêtre à la suite de chaque démarrage en fermant la fenêtre après l'avoir ouverte et positionnée. Ajustements fin via l'application "dconf" (Éditeur dconf).
==Installation de MediaWiki==
==Installation de MediaWiki==


Ligne 4 : Ligne 9 :
Sources :
Sources :


* <nowiki>https://www.mediawiki.org/wiki/Manual:Upgrading/fr</nowiki>
*<nowiki>https://www.mediawiki.org/wiki/Manual:Upgrading/fr</nowiki>
* <nowiki>https://www.mediawiki.org/wiki/Download_from_Git#Download_a_stable_branch</nowiki>
*<nowiki>https://www.mediawiki.org/wiki/Download_from_Git#Download_a_stable_branch</nowiki>


* Exemple de ligne de commande pour récupérer les fichiers dans dossier nommé w1 :
*Exemple de ligne de commande pour récupérer les fichiers dans dossier nommé w1 :


  git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/core.git</nowiki> --branch REL1_35 w1 --depth=1
  git clone <nowiki>https://gerrit.wikimedia.org/r/mediawiki/core.git</nowiki> --branch REL1_35 w1 --depth=1


* se déplacer dans le dossier /w1 puis lancer ces commandes :
*se déplacer dans le dossier /w1 puis lancer ces commandes :


  git submodule update --init
  git submodule update --init
Ligne 23 : Ligne 28 :
Pour l'installation de Maps :
Pour l'installation de Maps :


* <nowiki>https://maps.extension.wiki/wiki/Installation</nowiki>
*<nowiki>https://maps.extension.wiki/wiki/Installation</nowiki>


===Mise à jour===
===Mise à jour===
5 431

modifications

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

Menu de navigation