LesSix, Ltm, Soleiade, Trois, Robots, Bureaucrates, Administrateurs d’interface, ltm, soleil, Modérateurs, Administrateurs, trois, Modificateurs de widgets
5 414
modifications
Différences entre les versions de « Ubuntu »
Aller à la navigation
Aller à la recherche
aucun résumé de modification
(→Installation de MediaWiki : mise à jour) |
|||
| (12 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Raccourcis clavier == | |||
* https://guide.ubuntu-fr.org/14.04/desktop/keyboard-nav.html | |||
* ... | |||
==Personnaliser un lanceur== | |||
http://wiki.ubuntu-fr.org/menulibre | |||
ou | |||
http://wiki.ubuntu-fr.org/raccourci-lanceur#lanceurs_personnalises | |||
Extrait : | |||
Pour construire les menus, les environnements prennent en comptent tous les fichiers <code>.desktop</code> qu'on trouve : | |||
*soit dans <code>/usr/share/applications/</code> | |||
*soit dans <code>~/.local/share/applications/</code> | |||
La plupart des gestionnaires de fichiers présentent les fichiers des lanceurs sous la forme de leur icône, avec leur nom traduit, et lancent l'application quand on clique dessus. C'est pratique quand on veut s'en servir comme de raccourcis sur le bureau, mais c'est assez gênant quand on veut les éditer, voire simplement les renommer. | |||
<nowiki>----</nowiki>> Si vous voulez modifier un lanceur présent dans <code>/usr/share/applications/</code> (c'est le cas pour la plupart des applications), il ne faut JAMAIS modifier directement le lanceur original : les modifications devraient en effet se faire en tant que super-utilisateur, ce qui est en soi risqué, et les modifications seraient effacées à la moindre mise à jour ! | |||
Il est conseillé de '''copier le lanceur original''' dans le dossier <code>~/.local/share/applications/</code>, et de '''modifier la copie'''. | |||
==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== | ||
Sources : | |||
*<nowiki>https://www.mediawiki.org/wiki/Manual:Upgrading/fr</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 | 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 | *se déplacer dans le dossier /w1 puis lancer ces commandes : | ||
git submodule update --init | |||
composer update --no-dev | composer update --no-dev | ||
php maintenance/update.php | |||
VisualEditor, n'a fonctionné qu'après cela : | |||
cd VisualEditor | |||
git submodule update --init | |||
Plus | |||
$wgServer = "<nowiki>https://dieudo.fr</nowiki>"; | |||
Pour l'installation de Maps : | |||
* | *<nowiki>https://maps.extension.wiki/wiki/Installation</nowiki> | ||
===Mise à jour=== | |||
*https:// | *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== | ||