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 :

Proxy Information
Original URL
gemini://unbon.cafe/lejun/posts/20230223_sed.gmi
Status Code
Success (20)
Meta
text/gemini;
Capsule Response Time
248.974859 milliseconds
Gemini-to-HTML Time
0.209305 milliseconds

This content has been proxied by September (3851b).