Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
doc:environnements:gnome:gedit [12/07/2015 18:13] milou [Installation] |
doc:environnements:gnome:gedit [13/07/2015 10:02] milou [Utilisation] |
||
---|---|---|---|
Ligne 72: | Ligne 72: | ||
Le paquet ''gedit-plugins'' ajoute de nombreuses possibilités notamment l'intégration d'une console dans le panneau inférieur. | Le paquet ''gedit-plugins'' ajoute de nombreuses possibilités notamment l'intégration d'une console dans le panneau inférieur. | ||
- | <code root>sudo apt-get update | + | <code root>apt-get update && apt-get install gedit-plugins dconf-tools</code> |
- | sudo apt-get install gedit-plugins dconf-tools</code> | + | |
Pour activer un greffon, allez dans Gedit: | Pour activer un greffon, allez dans Gedit: |