#!/bin/sh
set -eu
for filename in "$@"
do
    /usr/bin/env -i /bin/sh "$filename"
done