Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites".
Test de l'ISO d'Ubuntu francophone : nous avons besoin de testeurs pour la version francophone d'Ubuntu 14.04. Liens et informations ici.

#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

Haut de page ↑