-- Leo's gemini proxy

-- Connecting to unbon.cafe:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;

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

-- Response ended

-- Page fetched on Sun May 19 01:16:30 2024