alla fine ho risolto così
Codice PHP:
read_file=$1
while [ "$#" -gt "1" ]; do
parameters=$2
param1=${parameters%%,*}
parameters=${parameters#*,}
param2=${parameters%%,*}
parameters=${parameters#*,}
param3=${parameters}
cat $read_file | ./extract $param1 $param2 $param3 > ./$param1-$param2.out
shift
done

Rispondi quotando