Forum Ubuntu-fr.org / [résolu][bash] Traitement des fichiers

Réponse à : [résolu][bash] Traitement des fichiers

dummy@example.com (devphp) — Wed, 09 Jan 2013 19:23:49 +0000

Merci beaucoup pour [ "${file##*.}" = php ]
Je vais en abusé ^^

Réponse à : [résolu][bash] Traitement des fichiers

dummy@example.com (pingouinux) — Wed, 09 Jan 2013 19:12:38 +0000

Bonjour,

for file in "$1"/*
do
   if [ -d "$file" ]; then 
      echo "$file est un dossier"
      # Si basename mon-fichier .php retourne true (la ça fonctionne pas)
   # Comment savoir si c'est un php ? 
   elif [ "${file##*.}" = php  ]; then
      echo "c'est du php ^^ $file"
   # Sinon ? Bas je sais pas autre chose, un alien ?
   else
       echo "c'est pas du php $file"
   fi
done

[résolu][bash] Traitement des fichiers

dummy@example.com (devphp) — Wed, 09 Jan 2013 17:54:05 +0000

Bonjour
J'essaie de développer un outils me permettant de convertir un fichier php en html

Je pense immédiatement a ceci:

php mon-fichier.php > mon-fichier.html

Comme on dit chez nous, si il faut le faire plus de trois fois, crée toi un outils.

#!/bin/bash
# On passe en cuisson ?

# Parcourt les fichiers
for file in $(ls -1 $1)
do
#basefile=basename $file .php

# Si c'est un dossier (j'aurai pu mettre -f pour fichier)
if [ -d $file ]; then 
   echo "$file est un dossier"
# Si basename mon-fichier .php retourne true (la ça fonctionne pas)
# Comment savoir si c'est un php ? 
elif [ $(basename $file .php)  ]; then
   echo "c'est du php ^^ $file"
# Sinon ? Bas je sais pas autre chose, un alien ?
else
    echo "c'est pas du php"
fi

done

et donc pour ceux qui n'aurai pas compris ^^, je cherche comment savoir si l’extension de mon fichier est php ?