Modifier une extension

04 févr. 2013, 18:15

Bonjour,
j'ai plusieurs problème dans mon script bash et j'aimerais avoir votre aide.
Je vous explique, je voudrais savoir comment on fait pour exécuter un script sur plusieurs log d'un dossier et rediriger le résultat en gardant le nom mais en modifiant l'extension (de .log à .html).

Code : Tout sélectionner

dossier='/truc/pgfouine-1.1/dl/log/'
script='/truc/pgfouine-1.1'
statTab='/truc/pgfouine-1.1/dl/statistiqueTab'                                                                                                                                                                                         

for log in $dossier
do
    $script/pgfouine.php -top 50 -logtype stderr -format html -keepformatting -memorylimit 1073741824 -file $dossier > $statTab/GARDER LE NOM.MODIFIER L'EXENTION
done

04 févr. 2013, 18:48

Il va te falloir faire un mv (move) avec une expression régulière.
Tu trouveras tout ça sur n'importe quel moteur de recherche, c'est un problème assez commun.

05 févr. 2013, 01:04

Mais non, voyons, pas d'expression régulière !

Code : Tout sélectionner

NEW_NAME=$(basename ${OLD_NAME} .oldext).newext

Modifier une extension

Qui est en ligne