[GRASSGUI] python scripting support?

[Glynn Clements]

Michael Barton wrote:

> Any idea what would be the python equivalent of the bash lines...
> 
> if [ "$1" != "@ARGS_PARSED@" ] ; then
>   exec g.parser "$0" "$@"
> fi

AFAICT:

	if ( sys.argv[1] != "@ARGS_PARSED@" ):
		os.execv("g.parser", [sys.argv[0]] + sys.argv)

-- 
Glynn Clements <glynn at gclements.plus.com>