À partir d'un fichier texte, je cherche à obtenir un autre fichier texte
dans lequel chaque ligne est numérotée, en gardant la même indentation
pour le texte d'origine (du moins tant qu'il n'y a pas des millions de
lignes). J'arrive à le faire avec des scripts awk, mais je voudrais
savoir s'il existe un utilitaire tout prêt qui ferait la même chose.
Par exemple, en partant de :
-----------------------------
Première ligne
Deuxième ligne
...
Neuvième ligne
Dixième ligne
...
Millième ligne
...
-----------------------------
« awk '{ printf "%7d %s\n", NR, $0 }' fichier » donne :
-----------------------------
1 Première ligne
2 Deuxième ligne
...
9 Neuvième ligne
10 Dixième ligne
...
1000 Millième ligne
...
-----------------------------
« awk '{ printf "%-7d %s\n", NR, $0 }' fichier » donne :
-----------------------------
1 Première ligne
2 Deuxième ligne
...
9 Neuvième ligne
10 Dixième ligne
...
1000 Millième ligne
...
-----------------------------
« awk '{ printf "%07d %s\n", NR, $0 }' fichier » donne :
-----------------------------
0000001 Première ligne
0000002 Deuxième ligne
...
0000009 Neuvième ligne
0000010 Dixième ligne
...
0001000 Millième ligne
...
-----------------------------
Il y a plus simple, pour au moins l'une des trois versions ?
Il paraît que pr a la même option, standard, mais je ne me suis jamais servi de pr.
Stephane CHAZELAS
2009-09-17, 20:21(+02), Olivier Miakinen: [...]
À partir d'un fichier texte, je cherche à obtenir un autre fichier texte dans lequel chaque ligne est numérotée, en gardant la même indentation pour le texte d'origine (du moins tant qu'il n'y a pas des millions de lignes). J'arrive à le faire avec des scripts awk, mais je voudrais savoir s'il existe un utilitaire tout prêt qui ferait la même chose.
[...]
nl(1)?
-- Stéphane
2009-09-17, 20:21(+02), Olivier Miakinen:
[...]
À partir d'un fichier texte, je cherche à obtenir un autre fichier texte
dans lequel chaque ligne est numérotée, en gardant la même indentation
pour le texte d'origine (du moins tant qu'il n'y a pas des millions de
lignes). J'arrive à le faire avec des scripts awk, mais je voudrais
savoir s'il existe un utilitaire tout prêt qui ferait la même chose.
À partir d'un fichier texte, je cherche à obtenir un autre fichier texte dans lequel chaque ligne est numérotée, en gardant la même indentation pour le texte d'origine (du moins tant qu'il n'y a pas des millions de lignes). J'arrive à le faire avec des scripts awk, mais je voudrais savoir s'il existe un utilitaire tout prêt qui ferait la même chose.
