💾 Archived View for unbon.cafe › lejun › posts › 20230422_grep.gmi captured on 2023-06-16 at 16:49:30. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-04-26)
-=-=-=-=-=-=-
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.
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).