Bonjour,
 
 
Je ne trouve pas comment faire une chose toute simple, découper une chaine de caractère.
 
var=toto1296file.txt
 
Il faudrait que je récupère le "1296" seulement, mais cut ne coupe que des fichiers et non des chaines de caractère.
 
J'imagine en utilisant "sed" mais je ne sais pas m'en servir.
 
C'est en ksh.
 
 
Merci d'avance.

 
 
Je ne pense pas car ma variable peut s'appeler différemment, exemple : toto1296file1224rep.txt
 
En fait c'est la position qui ne change pas, je récupère toujours le 1296.
 
Et je travaille dans un script avec une variable et non en ligne de commande avec un fichier.

Bon tout bêtement j'ai trouvé en utilisant cut :
 
 
var="totflt1296file.txt"
var2=`echo $var | cut -c7-10`
 
 
Mais bon j'aurais aimé le faire avec sed ou awk, si quelqu'un maitrise je suis preneur
 
Merci

Ben faudrait spécifier un peu plus précisément le problème aussi. C'est vraiment ce qui est entre les caractères 7 et 10 que tu veux récupérer ? Ou bien les chiffres qui suivent "toto" ? Ou bien le premier groupe de chiffres ?

Du caractère 7 jusqu'au 10.

Mais cut est la meilleur solution.

La soluce avec awk a été donnée
Voici avec sed

Plutôt imbitable non ? Reste avec cut c'est plus simple.

Il y a aussi la solution expr :

 
Jean-Pierre.