#!/usr/bin/env bash

for filename in *.iso; do
	echo "Zipping file: $filename"
	gzip "$filename"
done