1	#!/bin/bash
				2	#
				3	# Helper to exec commands in certain directory.
				4	# This is needed e.g. for commands that do not allow
				5	# to specify an output directory (e.g. cvs), when
				6	# using external commands via ns_proxy
				7	#
				8	# Usage: cd-helper directory cmd args ....
				9	#
				10	# gustaf neumann, aug 2013
				11	#
				12	cd $1
				13	shift
				14	eval $*
				15