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 !