#!/bin/sh
#
#ident "$Id: Linux,v 1.1 2005/10/25 22:38:34 jmoyer Exp $"
#

shopt -s xpg_echo

nfsstat() {
	cat /proc/mounts | while read source path fstype options other ; do
		if [ $fstype = "nfs" ] ; then
			echo "$path from $source"
			echo " Flags:         $options"
		fi
	done
}

nawk() {
	exec awk "$@"
}

make_version() {
	echo "v$1"
}

make_proto() {
	echo "$1"
}

ping() {
	/bin/ping -w $2 $1
}
