L’éditeur de texte Gedit sous Linux est connu pour sa simplicité d’utilisation. Dans sa forme par défaut, il offre presque toutes les fonctionnalités de base qu’un éditeur de texte idéal devrait. Cependant, la vraie force de Gedit réside dans le fait que son ensemble de fonctionnalités peut être étendu à l’aide de plugins.
Il existe une pléthore de plugins disponibles pour Gedit, il est donc presque impossible de connaître ou d’utiliser chacun des plugins disponibles. Alors que certains plugins s’adressent à un public de niche (par exemple, les codeurs), il y en a beaucoup qui peuvent également s’avérer utiles aux utilisateurs finaux.
Dans cet article, nous discuterons de quelques plugins (ainsi que d’une petite astuce intéressante) qui, quel que soit le type d’utilisateur que vous êtes, amélioreront votre expérience Gedit. Veuillez noter que nous avons testé toutes les commandes et instructions mentionnées dans cet article sur Ubuntu 14.04 et Gedit 3.10.4.
Contenu
1. Rechercher du texte dans tous les fichiers d’un répertoire
Par défaut, la fonction « Rechercher » de Gedit vous permet d’effectuer des opérations de recherche dans un seul fichier. Que faire si vous souhaitez rechercher un texte/une chaîne dans tous les fichiers présents dans un répertoire particulier ? Ne vous inquiétez pas, il existe un plugin appelé File Search qui vous permet de le faire.
Pour installer le plugin, téléchargez d’abord le plugin Gedit File Search en exécutant la commande suivante :
Noter: si git n’est pas installé sur votre système, exécutez simplement la commande suivante pour l’installer :
Une fois le téléchargement du plugin terminé, décompressez le fichier téléchargé et exécutez la commande make dans le répertoire extrait. Enfin, copiez le contenu du dossier extrait dans « /home/votre-nom d’utilisateur/.local/share/gedit/plugins/ ».
Maintenant, démarrez Gedit, allez dans « Modifier -> Préférences -> Plugins » et activez « Recherche de fichiers ».
Vous pouvez maintenant accéder au plugin en vous rendant sur « Rechercher -> Rechercher des fichiers… » ou en faisant un clic droit sur un fichier ouvert et en cliquant sur l’option « Rechercher des fichiers pour ».
2. Annuler les onglets récemment fermés
Que vous souhaitiez ouvrir un onglet que vous avez fermé accidentellement ou que vous souhaitiez ouvrir rapidement l’un des onglets récemment fermés, le plugin Necronomicon est à votre service. Voici comment le télécharger, l’installer et l’utiliser.
Tout d’abord, téléchargez le code source du plugin et extrayez-le, puis copiez les fichiers « necronomicon.py » et « necronomicon.plugin » dans le répertoire « /home/your-username/.local/share/gedit/plugins ».
Redémarrez Gedit et activez le plugin dans l’onglet « Edition -> Préférences -> Plugins ».
Commencez à accéder aux fichiers récemment fermés en vous dirigeant vers « Fichier -> Récemment fermé ».
3. Activer la fonction d’enregistrement automatique
J’ai été dans des situations où j’ai perdu mon travail dans Gedit parce que je n’ai pas pu enregistrer les modifications à temps. Si vous avez également vécu des situations similaires (ou craignez d’en rencontrer une un jour) et que vous cherchez une solution à ce problème, vous serez heureux de savoir qu’il existe un moyen d’activer la fonction de sauvegarde automatique dans Gedit .
Exécutez la commande suivante pour activer la fonctionnalité :
L’intervalle par défaut pour l’enregistrement automatique est de dix minutes. Cependant, vous pouvez définir le nombre de minutes que vous souhaitez à l’aide de la commande suivante :
Remplacer « [n]” avec le nombre de minutes que vous souhaitez régler. Par exemple, j’ai défini l’intervalle d’enregistrement automatique sur une minute à l’aide de la commande suivante :
Si la ligne de commande n’est pas votre tasse de thé, vous pouvez effectuer toutes les modifications mentionnées ci-dessus à l’aide de l’éditeur Dconf. Si l’éditeur n’est pas installé sur votre système, vous pouvez l’installer à l’aide de l’application Ubuntu Software Center.
Une fois que l’éditeur est là, vous pouvez le lancer via Dash et vous diriger vers l’élément « org.gnome.gedit.preferences.editor ». Ici, vous pouvez activer la fonction d’enregistrement automatique ainsi que modifier la variable d’intervalle d’enregistrement automatique (en cliquant sur la valeur).
De cette façon, vous pouvez permettre à Gedit d’enregistrer automatiquement toutes les modifications que vous apportez aux fichiers en cours d’édition dans l’éditeur.
Conclusion
Les plugins discutés ici sont faciles à télécharger et à installer ainsi qu’à utiliser. Les projets correspondants sont hébergés sur github, la documentation n’est donc pas un problème. La meilleure partie est qu’il n’y a pas de courbe d’apprentissage associée. Essayez les plugins (ainsi que l’astuce de sauvegarde automatique).
Cet article est-il utile ? Oui Non
