💾 Archived View for unbon.cafe › lejun › posts › 20230223_sed.gmi captured on 2024-03-21 at 16:03:50. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-04-26)

-=-=-=-=-=-=-

Stream EDitor

2023-02-23

sed est un éditeur de texte non-interactif basé sur ed[1]. En coulisses, il suit le fonctionnement de celui-ci en considérant un fichier ligne par ligne plutôt que dans son intégralité, ce qui allège considérablement la charge sur la mémoire.

Il est généralement utilisé en complément d'autres outils plutôt qu'indépendamment, d'où le terme de « Stream ». Ce qui n'empêche pas de pouvoir l'utiliser simplement, par exemple pour convertir des dates en différent formats[2].

Deux alternatives considérées comme plus complètes, sont les langages AWK et Perl.

Utilisation

L'usage principal que j'en fais est la substitution de texte, aidé par la prise en charge d’expressions régulières. La commande est similaire à ed, on remplace la chaîne 1 par 2 via :

`s/chaîne1/chaîne2/`.

Références

[1] ed, LeJun 2023

[2] Gemfeed, LeJun 2023