Forum Programmation.shell extraction d'un chiffre dans un ligne de donnée (sed?)

Posté par  .
Étiquettes : aucune
0
20
sept.
2012

Bonjour,

j'y connais pas grand chose en ligne de commande unix mais j'ai un besoin ponctuel.
Si je pouvais avoir une piste vers laquelle m'orienter rapidement.

J'ai un texte qui ressemble à ceci:
1519 créer une branche toto 23/03/2012 Branch1.0.X : first checkin

je voudrait extraire le chiffre (1519) en début de ligne avec des outils que j'ai sous la main. J'ai commencé par regarder sed mais la syntaxe est un peu ardue.

Quelqu'un aurait une idée ou une syntaxe (…)