#!/bin/bash

cat "$1"
shift
exec gzip "$@"