Contenu | Rechercher | Menus

Annonce

Ubuntu-fr.org recrute toujours de nouveaux modérateurs, avec de l'expérience.

Ubuntu 16.04 LTS
Réservez vos DVD et clé USB Ubuntu-fr (premières livraisons mi-mai)

Si vous avez des soucis pour rester connecté, déconnectez vous et reconnectez vous depuis ce lien en cochant le case
Me connecter automatiquement lors de mes prochaines visites.

M.A.J. en cours du forum possibilité de bug, nous faisons le maximum pour les résoudre au plus vite

#1 Le 09/01/2013, à 19:54

devphp

[résolu][bash] Traitement des fichiers

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 ?

Dernière modification par devphp (Le 09/01/2013, à 21:24)


Ubuntu 12.04 (Xfce) 64bits
Intel® Core™ i5 CPU M 520 @ 2.40GHz × 4

Priorité à la prévention, faite des back-up fréquent.

Hors ligne

#2 Le 09/01/2013, à 21:12

pingouinux

Re : [résolu][bash] Traitement des fichiers

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

Hors ligne

#3 Le 09/01/2013, à 21:23

devphp

Re : [résolu][bash] Traitement des fichiers

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


Ubuntu 12.04 (Xfce) 64bits
Intel® Core™ i5 CPU M 520 @ 2.40GHz × 4

Priorité à la prévention, faite des back-up fréquent.

Hors ligne