Posté par freem .
En réponse au message Recherche commande.
Évalué à 2.
Dernière modification le 27 décembre 2022 à 15:08.
En pur awk, j'aurai fait: awk '/+{mathjax} / { if(inc==0)++count;inc=1 } /-/{inc=0} END{print count}' mais c'est hyper verbeux (61 caractères, compactable un peu, mais toujours plus de 2 fois plus long que le shell), shell gagne haut la main vu la simplicité du traitement. Je ne sais pas s'il y a plus propre.
A noter qu'il semble y avoir un bug dans le rendu de linuxfr, donc, voici en moins compact:
[^] # Re: awk / uniq / grep / wc
Posté par freem . En réponse au message Recherche commande. Évalué à 2. Dernière modification le 27 décembre 2022 à 15:08.
En pur awk, j'aurai fait:
awk '/+{mathjax} / { if(inc==0)++count;inc=1 } /-/{inc=0} END{print count}'mais c'est hyper verbeux (61 caractères, compactable un peu, mais toujours plus de 2 fois plus long que le shell), shell gagne haut la main vu la simplicité du traitement. Je ne sais pas s'il y a plus propre.A noter qu'il semble y avoir un bug dans le rendu de linuxfr, donc, voici en moins compact: