Modifier un grand nombre de données dans un fichier texte, par exemple pour modifier un séparateur de colonnes, devient vite récalcitrant sur des gros fichiers. Mais gedit, sous son air modeste, dispose de très appréciables plugins qui peuvent nous faire gagner un temps précieux.
Installation
Pour commencer, il vous faut bien entendu le gestionnaire de greffons pour gedit, installé par défaut sous Ubuntu et Debian. Mais si ce n’était pas le cas sur votre distro :
apt-get install gedit-plugins. |
Ensuite, il faut aller dans [Éditions → préférences] puis l’onglet [Greffons] et cocher « Édition multiple ».
Utilisation
Pour utiliser ce greffon, il faut passer en « Multi Edit Mode » via le menu [Édition] ou en tapant
Ensuite, on spécifie chaque point que l’on souhaite modifier en positionnant habituellement le curseur à l’endroit concerné, puis en tapant
Le Multi Edit Mode se quitte en pressant simplement la touche d’échappement.
Sélection d’une colonne
Pour gagner encore plus de temps, il est possible de sélectionner tout ou partie d’une colonne. Pour cela, il faut sélectionner la zone à modifier (en maintenant le clic enfoncé) puis ajouter ce point en tapant
Par contre, quand vous faites
Les utilisateurs du plugin LaTeX, comme moi, apprécieront de pouvoir modifier les tableaux en quelques clics.
Bonne édition !