changeset 24856 | f06829479407 |
parent 23604 | 56f945f1ed50 |
child 36859 | 51af1657263b |
24855:161eb8381b49 | 24856:f06829479407 |
---|---|
10 SRC="$1" |
10 SRC="$1" |
11 DST="$2" |
11 DST="$2" |
12 |
12 |
13 mkdir -p "$DST" |
13 mkdir -p "$DST" |
14 |
14 |
15 for FILE in "$SRC"/* |
15 for FILE in "$SRC"/*.gz |
16 do |
16 do |
17 echo "$FILE" |
17 echo "$FILE" |
18 NAME="$(basename "$FILE" .gz)" |
18 NAME="$(basename "$FILE" .gz)" |
19 gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME" |
19 gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME" |
20 done |
20 done |