Modifier une extension

Répondre


Cette question est un moyen d’empêcher des soumissions automatisées de formulaires par des robots.
Smileys
:D :) :( :o :shock: :? 8-) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen: =D> #-o =P~ :^o :non: :priere: 8-|
Voir plus de smileys
  Revue du sujet
 

  Étendre la vue Revue du sujet : Modifier une extension

Re: Modifier une extension

par Sékiltoyai » 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

Re: Modifier une extension

par xTG » 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. ;)

Modifier une extension

par LOLplz » 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