Forum d'entraide PHPFrance

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

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.

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

Code : Tout sélectionner

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

Forum d'entraide PHPFrance

Modifier une extension

Modifier une extension

Re: Modifier une extension

Re: Modifier une extension