Make image smaller

This commit is contained in:
Pascal Vizeli 2018-05-27 16:46:59 +02:00 committed by GitHub
parent 073fefb5d5
commit 7c80363623
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -43,4 +43,4 @@ create_disk_image ${BINARIES_DIR} ${IMAGE_FILE} 2
fix_disk_image_mbr ${IMAGE_FILE}
rm -rf ${IMAGE_FILE}.gz
gzip ${IMAGE_FILE}
gzip --best ${IMAGE_FILE}