#!/bin/bash
#
#	$Id: gmtget.in 10134 2013-11-05 12:06:16Z fwobbe $
#
#	gmtget - Return the current setting of the specified parameter
#
if [ ${#} -ne 1 ]; then
	echo "usage: gmtget PARAMETER" >&2
	exit -1
fi
prefix=/usr/lib/gmt
exec_prefix=${prefix}
${exec_prefix}/bin/gmtdefaults -L | grep "^${1}	" | awk '{print $3}'
