#!/usr/bin/env bash
shopt -s nullglob

file_ext="${1:-.iso}"

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