#!/bin/sh

if [ $# -ne 1 ]; then
    echo "Usage: `basename $0` machinename" >&2
    exit 1
fi

HOST=$1

ssh root@${HOST} kextunload /tmp/NFSv4.kext