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
- Re: Chercher/Remplacer, (continued)
- Re: Chercher/Remplacer, Philippe JALLON (10/01/1998)
- Re: Chercher/Remplacer, Olivier RANDIER (15/01/1998)
- Re: Chercher/Remplacer, Hugues RICHARD (13/01/1998)
- Re: Chercher/Remplacer, Emmanuel Curis <=