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 | Révision précédente Prochaine révision Les deux révisions suivantes | ||
doc:environnements:gnome:gedit [13/04/2015 17:41] milou [Gedit] |
doc:environnements:gnome:gedit [13/07/2015 10:02] milou [Utilisation] |
||
---|---|---|---|
Ligne 43: | Ligne 43: | ||
Sous Gnome, ''Gedit'' est l'éditeur de texte graphique installé par défaut. Si vous ne l'avez pas, tapez sous root : | Sous Gnome, ''Gedit'' est l'éditeur de texte graphique installé par défaut. Si vous ne l'avez pas, tapez sous root : | ||
- | <code root>apt-get install gedit</code> | + | <code root>apt-get update && apt-get install gedit</code> |
Ligne 70: | Ligne 70: | ||
==== Greffons ==== | ==== Greffons ==== | ||
Vous pouvez utiliser les ''greffons'' déjà fournis avec ''Gedit'' mais aussi en rajouter. | Vous pouvez utiliser les ''greffons'' déjà fournis avec ''Gedit'' mais aussi en rajouter. | ||
+ | Le paquet ''gedit-plugins'' ajoute de nombreuses possibilités notamment l'intégration d'une console dans le panneau inférieur. | ||
- | Pour activer un greffon, allez dans : | + | <code root>apt-get update && apt-get install gedit-plugins dconf-tools</code> |
+ | |||
+ | Pour activer un greffon, allez dans Gedit: | ||
Édition -> Préférences -> onglet Greffons | Édition -> Préférences -> onglet Greffons | ||
Tous les greffons disponibles sont affichés, cocher pour faire votre choix. | Tous les greffons disponibles sont affichés, cocher pour faire votre choix. | ||
- | |||
- | Le paquet ''gedit-plugins'' ajoute de nombreuses possibilités notamment l'intégration d'une console dans le panneau inférieur. | ||
Des ''greffons'' sont proposés sur des sites tels que : | Des ''greffons'' sont proposés sur des sites tels que : |