Avoid filenames with colons

This commit is contained in:
jgromes 2024-12-31 17:59:25 +01:00
parent cd56907165
commit d847f561ac

View file

@ -4,7 +4,7 @@ board=$1
hash=$(git rev-parse --short HEAD) hash=$(git rev-parse --short HEAD)
in_file="size_$board.txt" in_file="size_$board.txt"
out_file="size_${hash}_$board.csv" out_file="size_${hash}_${board//:/-}.csv"
rm -f $out_file rm -f $out_file
# write the header # write the header