Juste pour varier un peu des scripts shells, avec gnu make (on peut aussi avec d'autres versions, mais l'obtention de LISTAVI a une syntaxe différente) :
(au fait, GNU make preconise d'utiliser des regles de la forme
%.avi: %.flv
et pas .flv.avi, ce qui permet aussi de se passer de SUFFIXES)
je viens de le suggerer. il est vrai que beaucoup de personnes pensent que cela ne sert qu'à compiler :)
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
Cela dit, chacun son jouet prefere. La parole est aux amateurs de: - find - awk - perl - ls ... | sed ... | sh - glob(3), fork(2), exec(2) etc.
-- Alain.
Thierry PINELLI <pinuche@gmail.org> writes:
Juste pour varier un peu des scripts shells, avec gnu make (on peut aussi
avec d'autres versions, mais l'obtention de LISTAVI a une syntaxe
différente) :
(au fait, GNU make preconise d'utiliser des regles de la forme
%.avi: %.flv
et pas .flv.avi, ce qui permet aussi de se passer de SUFFIXES)
je viens de le suggerer.
il est vrai que beaucoup de personnes pensent que cela ne sert qu'à
compiler :)
En l'occurrence make est fait pour tenir a jour un ensemble de
fichiers dependant d'autres fichiers, et s'assurer de tout bien
reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser
que les fichiers "sources" seront modifiés ici...
Cela dit, chacun son jouet prefere. La parole est aux amateurs de:
- find
- awk
- perl
- ls ... | sed ... | sh
- glob(3), fork(2), exec(2)
etc.
Juste pour varier un peu des scripts shells, avec gnu make (on peut aussi avec d'autres versions, mais l'obtention de LISTAVI a une syntaxe différente) :
(au fait, GNU make preconise d'utiliser des regles de la forme
%.avi: %.flv
et pas .flv.avi, ce qui permet aussi de se passer de SUFFIXES)
je viens de le suggerer. il est vrai que beaucoup de personnes pensent que cela ne sert qu'à compiler :)
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
Cela dit, chacun son jouet prefere. La parole est aux amateurs de: - find - awk - perl - ls ... | sed ... | sh - glob(3), fork(2), exec(2) etc.
-- Alain.
Thierry PINELLI
Alain Ketterlin wrote:
for f in *.flv; do whatever $f $(dirname $f)/$(basename $f .flv).avi done
C'est pour bash. Aucune idée comment ça se porte sous d'autres shells.
il manque un ";" quelque part
Alain Ketterlin wrote:
for f in *.flv; do
whatever $f $(dirname $f)/$(basename $f .flv).avi
done
C'est pour bash. Aucune idée comment ça se porte sous d'autres shells.
for f in *.flv; do whatever $f $(dirname $f)/$(basename $f .flv).avi done
C'est pour bash. Aucune idée comment ça se porte sous d'autres shells.
il manque un ";" quelque part
Thierry PINELLI
Alain Ketterlin wrote:
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
les fichiers cibles ne seront pas recréés :)
c'est le but recherché
Alain Ketterlin wrote:
En l'occurrence make est fait pour tenir a jour un ensemble de
fichiers dependant d'autres fichiers, et s'assurer de tout bien
reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser
que les fichiers "sources" seront modifiés ici...
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
les fichiers cibles ne seront pas recréés :)
c'est le but recherché
Thierry PINELLI
Alain Ketterlin wrote:
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
un simple changement de nom est une modification. un ajout de fichier est également une modification
make en tiendra compte une seule fois et si c'est le foutoir dans le répertoire un make clean fera le ménage
le fait que tu utilises le mot "modification" du fichier montre bien que dans ton esprit make de sert qu'à invoquer un quelconque compilateur C
Alain Ketterlin wrote:
En l'occurrence make est fait pour tenir a jour un ensemble de
fichiers dependant d'autres fichiers, et s'assurer de tout bien
reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser
que les fichiers "sources" seront modifiés ici...
un simple changement de nom est une modification.
un ajout de fichier est également une modification
make en tiendra compte une seule fois
et si c'est le foutoir dans le répertoire un make clean
fera le ménage
le fait que tu utilises le mot "modification" du fichier montre bien
que dans ton esprit make de sert qu'à invoquer un quelconque compilateur C
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
un simple changement de nom est une modification. un ajout de fichier est également une modification
make en tiendra compte une seule fois et si c'est le foutoir dans le répertoire un make clean fera le ménage
le fait que tu utilises le mot "modification" du fichier montre bien que dans ton esprit make de sert qu'à invoquer un quelconque compilateur C
Alain Ketterlin
Thierry PINELLI writes:
for f in *.flv; do whatever $f $(dirname $f)/$(basename $f .flv).avi done C'est pour bash. Aucune idée comment ça se porte sous d'autres shells.
il manque un ";" quelque part
Non.
-- Alain.
Thierry PINELLI <pinuche@gmail.org> writes:
for f in *.flv; do
whatever $f $(dirname $f)/$(basename $f .flv).avi
done
C'est pour bash. Aucune idée comment ça se porte sous d'autres
shells.
for f in *.flv; do whatever $f $(dirname $f)/$(basename $f .flv).avi done C'est pour bash. Aucune idée comment ça se porte sous d'autres shells.
il manque un ";" quelque part
Non.
-- Alain.
Alain Ketterlin
Thierry PINELLI writes:
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
les fichiers cibles ne seront pas recréés :)
c'est le but recherché
Donc ton makefile servira une fois.
-- Alain.
Thierry PINELLI <pinuche@gmail.org> writes:
En l'occurrence make est fait pour tenir a jour un ensemble de
fichiers dependant d'autres fichiers, et s'assurer de tout bien
reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser
que les fichiers "sources" seront modifiés ici...
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
les fichiers cibles ne seront pas recréés :)
c'est le but recherché
Donc ton makefile servira une fois.
-- Alain.
Alain Ketterlin
Thierry PINELLI writes:
Alain Ketterlin wrote:
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
un simple changement de nom est une modification. un ajout de fichier est également une modification
Pour make, les deux sont identiques.
make en tiendra compte une seule fois et si c'est le foutoir dans le répertoire un make clean fera le ménage
A condition d'avoir ecrit la regle dans le makefile.
le fait que tu utilises le mot "modification" du fichier montre bien que dans ton esprit make de sert qu'à invoquer un quelconque compilateur C
Ce n'est pas moi qui parle de modification, c'est make qui se base dessus. Et c'est toi qui ramene make sur une question ou, à mon avis, il n'est ni le plus adapté, ni le plus facile à utiliser pour une operation à faire manifestement une seule fois. Enfin, je ne vois pas ce que la compilation C vient faire là-dedans, et surtout je ne vois pas en quoi modifier un fichier se restreint à la compilation de fichier C. Si tu viens de découvrir la portée de make, tant mieux pour toi. Ca ne veut pas dire qu'il faut l'utiliser à tort et à travers, en particulier quand le shell fait bien le boulot.
-- Alain.
Thierry PINELLI <pinuche@gmail.org> writes:
Alain Ketterlin wrote:
En l'occurrence make est fait pour tenir a jour un ensemble de
fichiers dependant d'autres fichiers, et s'assurer de tout bien
reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser
que les fichiers "sources" seront modifiés ici...
un simple changement de nom est une modification.
un ajout de fichier est également une modification
Pour make, les deux sont identiques.
make en tiendra compte une seule fois
et si c'est le foutoir dans le répertoire un make clean
fera le ménage
A condition d'avoir ecrit la regle dans le makefile.
le fait que tu utilises le mot "modification" du fichier montre bien
que dans ton esprit make de sert qu'à invoquer un quelconque
compilateur C
Ce n'est pas moi qui parle de modification, c'est make qui se base
dessus. Et c'est toi qui ramene make sur une question ou, à mon avis,
il n'est ni le plus adapté, ni le plus facile à utiliser pour une
operation à faire manifestement une seule fois. Enfin, je ne vois pas
ce que la compilation C vient faire là-dedans, et surtout je ne vois
pas en quoi modifier un fichier se restreint à la compilation de
fichier C. Si tu viens de découvrir la portée de make, tant mieux pour
toi. Ca ne veut pas dire qu'il faut l'utiliser à tort et à travers, en
particulier quand le shell fait bien le boulot.
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici...
un simple changement de nom est une modification. un ajout de fichier est également une modification
Pour make, les deux sont identiques.
make en tiendra compte une seule fois et si c'est le foutoir dans le répertoire un make clean fera le ménage
A condition d'avoir ecrit la regle dans le makefile.
le fait que tu utilises le mot "modification" du fichier montre bien que dans ton esprit make de sert qu'à invoquer un quelconque compilateur C
Ce n'est pas moi qui parle de modification, c'est make qui se base dessus. Et c'est toi qui ramene make sur une question ou, à mon avis, il n'est ni le plus adapté, ni le plus facile à utiliser pour une operation à faire manifestement une seule fois. Enfin, je ne vois pas ce que la compilation C vient faire là-dedans, et surtout je ne vois pas en quoi modifier un fichier se restreint à la compilation de fichier C. Si tu viens de découvrir la portée de make, tant mieux pour toi. Ca ne veut pas dire qu'il faut l'utiliser à tort et à travers, en particulier quand le shell fait bien le boulot.
-- Alain.
Thierry PINELLI
Alain Ketterlin wrote:
Thierry PINELLI writes:
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici... les fichiers cibles ne seront pas recréés :)
c'est le but recherché
Donc ton makefile servira une fois.
non
Alain Ketterlin wrote:
Thierry PINELLI <pinuche@gmail.org> writes:
En l'occurrence make est fait pour tenir a jour un ensemble de
fichiers dependant d'autres fichiers, et s'assurer de tout bien
reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser
que les fichiers "sources" seront modifiés ici...
les fichiers cibles ne seront pas recréés :)
En l'occurrence make est fait pour tenir a jour un ensemble de fichiers dependant d'autres fichiers, et s'assurer de tout bien reconstruire en cas de modif. Je ne vois pas ce qui vous laisse penser que les fichiers "sources" seront modifiés ici... les fichiers cibles ne seront pas recréés :)
c'est le but recherché
Donc ton makefile servira une fois.
non
Thierry PINELLI
Alain Ketterlin wrote:
A condition d'avoir ecrit la regle dans le makefile.
sans blague ?
Alain Ketterlin wrote:
A condition d'avoir ecrit la regle dans le makefile.
