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 →
Gedit est l'éditeur de texte de l'environnement graphique GNOME.
Ce logiciel, sous licence GPL
, propose une interface simple et facile d'utilisation, développée avec l'aide de la bibliothèque GTK
.
Gedit
permet l'édition et l'enregistrement d'un fichier texte (.txt) en mode graphique.
Il dispose aussi :
Unicode
,
Il crée automatiquement, à l'enregistrement, un fichier caché (fichier.txt~
) de sauvegarde permettant de récupérer une version antérieure. Cette fonction peut être désactivée.
Il possède des greffons donnant accès à des fonctionnalités comme :
Sous Gnome, Gedit
est l'éditeur de texte graphique installé par défaut. Si vous ne l'avez pas, tapez sous root :
apt-get update && apt-get install gedit
Pour ouvrir gedit, tapez dans un terminal :
gedit
Vous pouvez ajouter le chemin d'un fichier pour l'éditer immédiatement.
Ou bien, pour rester en graphique, suivez dans le menu :
Applications → Accessoires → Éditeur de texte
Pour trouver les options dans le menu de la fenêtre gedit
:
Édition → Préférences
Exemple :
Pour empêcher la création de fichier de sauvegarde de la forme <monfichier>~.
Allez dans :
Éditeur → Enregistrement du fichier
Et décochez la case :
Créer une copie de sauvegarde des fichiers avant l'enregistrement
Pour activer un greffon dans gedit faites.
Édition -> Préférences -> onglet Greffons
Tous les greffons disponibles sont affichés, cocher pour faire votre choix.
Gedit peut appliquer des jeux de couleurs à un code source donné, pour le rendre plus agréable à lire.
Il existe 4 thèmes de base. Allez dans :
Édition -> Préférences -> Police et Couleurs
Pour personnaliser et améliorer d'avantage gedit, vous avez la possibilité d’installer de nouveaux greffons et designs pour la coloration du texte.
Tout vous sera expliqué ici: Gedit configurations avancées et personnalisation
Et un fan de Gedit sur DF, là :
Merci de ces précisions damien !