Admin/profiling_reports
changeset 24856 f06829479407
parent 23604 56f945f1ed50
child 36859 51af1657263b
equal deleted inserted replaced
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