💾 Archived View for unbon.cafe › lejun › posts › 20230223_sed.gmi captured on 2023-03-20 at 18:06:19. Gemini links have been rewritten to link to archived content

View Raw

More Information

➡️ Next capture (2023-04-26)

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

Stream EDitor

2023-02-23

sed est un éditeur de texte non-interactif basé sur ed[1]. 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.

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

Utilisation

Son usage principal 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/g`.

Références

ed, LeJun 2023