#!/bin/sh
#
# Front end to securely delete a file on Linux
#
exec shred "$@"