Global Regular Expression Print

2023-04-22

Global Regular Expression Print, connu sous l'acronyme grep, est un outil en ligne de commande qui permet de rechercher une expression régulière dans un ensemble donné. Dans un usage avancé, il peut s'articuler à d'autres outils pour effectuer des actions sur les sorties.

Cas d'application : git

Au début de ces notes, j'utilisais git exclusivement via la plateforme Github qui me semblait alors être un lieu exclusif pour cela. Suite à son rachat par Microsoft en 2018, et le lancement en 2020 du projet Copilot visant à allégrement se servir des données hébergées pour entraîner une intelligence artificielle indépendamment des licences, j'ai migré mes projets qui s'y trouvaient vers Codeberg (Forgejo) ; Il m'est apparu utile de modifier les liens Github vers Codeberg.

Accessoirement, j'ai également découvert l'existence d'un URI git://[1]. Proposé en 2012 et ne posant à priori pas de problème particulier, j'en ai profité pour modifier les URI http(s):// concernés. Attention, la proposition est relativement vide et tenter d'ouvrir re ces liens en l'absence de support pose plus de problèmes qu'autres chose en l'état.

Le travail aurait pu être réalisé avec différents niveaux d'automatisme, j'ai choisi le plus manuel :

Au sein des fichiers j'ai tout de même automatiquement remplacé https://git par git://git. Après quoi se sont ajoutés encore 3 liens Codeberg selon la même méthode (il aurait sûrement été possible de regrouper les deux éléments en se battant avec les expressions régulières).

Références

=> [1] Resource Identifier (RI) Scheme name: git, Thaler 2012

Proxy Information
Original URL
gemini://unbon.cafe/lejun/posts/20230422_grep.gmi
Status Code
Success (20)
Meta
text/gemini;
Capsule Response Time
249.290506 milliseconds
Gemini-to-HTML Time
0.67702 milliseconds

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