Archive Liste Typographie
Message : Re: Chercher/Remplacer

(Emmanuel Curis) - Mercredi 14 Janvier 1998
Navigation par date [ Précédent    Index    Suivant ]
Navigation par sujet [ Précédent    Index    Suivant ]

Subject:    Re: Chercher/Remplacer
Date:    Wed, 14 Jan 1998 01:18:17 +0100 (MET)
From:    curis@xxxxxxxxxxxxxx (Emmanuel Curis)

	Bonsoir,

	Réaction personnelle face   aux recherches faites...  pour montrer que
même pour ces cas « simples », un outil évolué peut aider...

Dans son courrier, Hugues RICHARD a écrit :

« Je commence par les doubles espaces. Vérification que je fais deux ou
« trois fois de suite, car lesdits doubles espaces sont quelquefois triple,
« et même plus.

	Avec une recherche évoluée, en une seule étape ça peut  être fait : un
truc du genre « remplacer la séquence
 {espace/espace fixe}{nombre d'espace/espaces fixes supérieur à 1}
                par la séquence
 {espace/espace fixe} »

	(ou alors,  tout  bêtement,  un remplacement  de   " "  par " "   mais
récursive, au choix).

« Je fais ensuite les fines avant la ponctuation.

	Voire même, plus subtil, la correction automatique en une étape de
 mot;                en mot{fine};
 mot{espace(s)}      en mot{fine};
 mot{espace fixe(s)} en mot{fine};
 mot{toutes les combinaisons possibles d'espaces}; en mot{fine};

« Suivent ensuite quelques bricoles propres au documents et au rédacteur
« (du genre 2ème en exposant par 2e en exposant).

	Avec une  recherche/remplacer évoluée, tout ceci se  fait en une seule
étape et très rapidement puisqu'une fois tout  ceci programmé, il suffit de le
sauver puis de le recharger pour la fois d'après.
	Ces étapes se résument alors à

 1) charger la config de recherche appropriée
 2) lancer l'ensemble des remplacements chargés à  la suite (ou une sélection,
si seuls certains sont intéressants).

	On peut aussi faire  des choses plus subtiles,  comme changer tous les
mots en majuscules  en les même  mots mais  commençant  par une majuscule,  le
reste étant en  petites capitales. Éventuellement   en sautant les  titres, en
séletionnnant tous le texte sauf les  titres (blocs disjoints possibles) et en
limitant  la recherche aux  blocs.  Comme  on peut  faire  une  recherche pour
marquer les titres en blocs, ça peut aller assez vite.
	Ou encore,  automatiquement insérer des fines  pour les nombres à plus
de     trois chiffres,   tous  les  trois   chiffres   (mais  là, ça   devient
technique...  Je n'ai pas  encore de  routine vraiment efficace  dans tous les
cas).

	Je me suis même amusé à faire  une routine de recherche qui transforme
automatiquement les formules brutes, du genre C6H12O6, en formules brutes avec
les indices correctement mis. C'est plus rapide pour  taper que de passer tout
le temps en mode indice puis revenir en mode normal puis...

-- 
				Emmanuel CURIS
				Emmanuel.Curis@xxxxxx

Page sur l'hypertoile : http://www.eleves.ens.fr:8080/home/curis/index.html