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". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#1 Le 09/01/2013, à 18: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, à 20: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, à 20: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, à 20: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 ↑