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 :

La commande `grep -l ^.*//git *` dans mon dossier de notes chaque fichier contenant une ligne mentionnant github, soit 10 sur un total de 131. Ç'eût été plus j'aurais envisagé un peu plus d'automatisme ;

Reprendre manuellement les liens concernés.

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