L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →

Différences

Ci-dessous, les différences entre deux révisions de la page.

--- utilisateurs:lagrenouille:apt-dpkg [18/04/2023 19:13]
lagrenouille [Utilisation]
+++ utilisateurs:lagrenouille:apt-dpkg [18/04/2023 19:16]
lagrenouille [Utilisation]
@@ Ligne 110: / Ligne 110: @@
 Suggests : gedit-plugins
 Homepage :</code>
+Description : Éditeur de texte officiel de l’environnement de bureau GNOME
+**gedit** est un éditeur de texte qui offre la plupart des fonctions de base que vous attendez d’un éditeur de texte, avec en plus des fonctionnalités rarement trouvées dans les éditeurs simples.
+C’est une application avec une interface graphique qui supporte l’édition de plusieurs fichiers texte dans une seule fenêtre (quelquefois connu comme onglets ou MDI).
+**gedit** gère n’importe quelle langue pour les textes grâce à l’utilisation du codage Unicode UTF-8 pour les fichiers édités. Les fonctionnalités de base comprennent la coloration syntaxique du code source, l’auto- indentation et le support pour l’impression et l’aperçu avant impression.
+**gedit** est également extensible par le biais de son système de modules, parmi lesquels on peut citer le support pour la vérification orthographique, la comparaison de fichiers, la visualisation de changements dans les versions CVS et l’ajustement des niveaux d’indentation.
+Dans votre distribution, pour avoir la liste de paquets qu’il est possible de mettre à jour.

utilisateurs/lagrenouille/apt-dpkg.txt · Dernière modification: 16/05/2024 23:23 par lagrenouille

Debian-facile