Sous bash, si la variable file contient ton nom de fichier alors
${file##+[^0-9]} te renverra ce même nom en ayant supprimé tout les caractères non numériques du début du nom.
Si file vaut file123456789.tar, alors ${file##+[^0-9]} vaut 123456789.tar.
Dans l'expression de monprécédent post, tu peux donc mettre :
mv $file ../FILE${file##+[^0-9]}.
[^] # Re: Une seule ligne !
Posté par JJD . En réponse au message Le tout en une ligne de commmande !!!!! On peut le faire ???. Évalué à 2.
Sous bash, si la variable file contient ton nom de fichier alors
${file##+[^0-9]} te renverra ce même nom en ayant supprimé tout les caractères non numériques du début du nom.
Si file vaut file123456789.tar, alors ${file##+[^0-9]} vaut 123456789.tar.
Dans l'expression de monprécédent post, tu peux donc mettre :
mv $file ../FILE${file##+[^0-9]}.
A+
JJD