pushd "$WORKSPACE/work/results/images/"
rename "s/\./.${platform_arch}./" *.*
sed -i "s/\./.${platform_arch}./" *."${platform_arch}".iso.*
pushd "$WORKSPACE/work/results/images/"
rename "s/\./.${platform_arch}./" *.*
sed -i "s/\./.${platform_arch}./" *."${platform_arch}".iso.*
cp "$WORKSPACE/work/results/images/"* "$upload_dir1"
cp "$WORKSPACE/work/results/images/"* "$upload_dir2"
cp "$WORKSPACE/work/results/images/"* "$upload_dir1"
cp "$WORKSPACE/work/results/images/"* "$upload_dir2"